Update the latest TODO item.

diff --git a/doc/TODO b/doc/TODO
index d2d762cc3fd9e650c4f569ffea532e996221cdf9..ed67448e08edb95bd03d65f48e956fc3fc28e140 100644 (file)
--- a/doc/TODO
+++ b/doc/TODO
@@ -20,3 +20,6 @@
   "prefs" table, but all of the shares (and principals?) have URLs
   instead of usernames. We don't parse the URLs, and instead rely
   on doing find/replace of substrings in e.g. AgendavMv.
   "prefs" table, but all of the shares (and principals?) have URLs
   instead of usernames. We don't parse the URLs, and instead rely
   on doing find/replace of substrings in e.g. AgendavMv.

+
+  In particular, this means that AgenDAV pruning does not work! If
+  a user with default preferences is deleted, we don't notice.