--- a/src/server/webdav/objs.mk Mon Dec 30 16:33:20 2019 +0100
+++ b/src/server/webdav/objs.mk Tue Dec 31 10:01:32 2019 +0100
@@ -32,6 +32,7 @@
DAVOBJ = webdav.o
DAVOBJ += requestparser.o
+DAVOBJ += operation.o
DAVOBJ += multistatus.o
DAVOBJ += search.o
DAVOBJ += versioning.o