diff -r 921f83a8943f -r d218607f5a7e src/server/webdav/webdav.h
--- a/src/server/webdav/webdav.h	Sat Mar 25 17:18:51 2023 +0100
+++ b/src/server/webdav/webdav.h	Fri May 05 18:02:11 2023 +0200
@@ -132,7 +132,7 @@
 
 CxHashKey webdav_property_key(const char *ns, const char *name);
 
-CxHashKey webdav_property_key_a(CxAllocator *a, const char *ns, const char *name);
+CxHashKey webdav_property_key_a(const CxAllocator *a, const char *ns, const char *name);
 
 #ifdef	__cplusplus
 }