diff -r 69dbcc7e7f93 -r e28ee9875a90 src/server/util/pblock.h
--- a/src/server/util/pblock.h	Wed Aug 10 20:32:49 2022 +0200
+++ b/src/server/util/pblock.h	Wed Aug 10 20:56:24 2022 +0200
@@ -304,6 +304,7 @@
 extern const pb_key *const pb_key_depth;
 extern const pb_key *const pb_key_if;
 extern const pb_key *const pb_key_vfs;
+extern const pb_key *const pb_key_dav;
 extern const pb_key *const pb_key_vfsclass;
 extern const pb_key *const pb_key_davclass;