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.
+
+  In particular, this means that AgenDAV pruning does not work! If
+  a user with default preferences is deleted, we don't notice.