Bug 447722 stopped comm-central builds pulling mozilla/extensions/webdav from cvs. However comm-central in mxr still shows it: http://mxr.mozilla.org/comm-central/source/mozilla/extensions/webdav/ Could this be removed as we no longer need it? Thanks.
you stopped pulling it, but it isn't dead. if you had made it dead, the system would have automatically removed it. since it's not a bug in the system, you're asking for server ops to manually clear out the directory.