Merged WebDAV into devel