--- a/src/server/public/webdav.h Sat Jul 11 17:58:00 2020 +0200 +++ b/src/server/public/webdav.h Fri Jul 24 08:00:11 2020 +0200 @@ -173,6 +173,7 @@ WSBool allprop; WSBool propname; + WSBool deadproperties; int depth;