diff -r 9f69e4b8b695 -r 31affbf33911 src/server/webdav/webdav.h
--- a/src/server/webdav/webdav.h	Sat Mar 18 15:52:35 2023 +0100
+++ b/src/server/webdav/webdav.h	Sat Mar 18 19:33:06 2023 +0100
@@ -132,6 +132,8 @@
 
 CxHashKey webdav_property_key(const char *ns, const char *name);
 
+CxHashKey webdav_property_key_a(CxAllocator *a, const char *ns, const char *name);
+
 #ifdef	__cplusplus
 }
 #endif