RE: Core versioning issues and nits

> > 16) New definition of Overwrite
> >
> > Please clarify the new definition of Overwrite.
> >
> > If you COPY directory 'mydir' with 'mydir/foo' and
> > 'mydir/bar' to a directory elsewhere with 'mydir/baz',
> > do you end up with a directory at the destination with
> > TWO children, or THREE children?  In other words, do
> > resources at the destination which do not overlap
> > resources from the source get deleted?
> >
> > I prefer 'no', btw.
>
> No, they do not get deleted.

Can this get clarified in the spec?  This must be normative; it's not
enough to explain in the FAQ that the non-overlapping resources do not
get deleted.  It must be a requirement, or servers may behave
differently.

Lisa