1 files changed, 3 insertions, 1 deletions
diff --git a/TODO b/TODO
index bb6374ca..3aab488c 100644
--- a/TODO
+++ b/TODO
@@ -43,6 +43,9 @@ Documentation
   this can be incorporated directly into sphinx_rtd_theme and the
   workaround can be removed.
 
+* When possible, update the debian package to include docs again. See
+  https://bugs.debian.org/1004159 for details.
+
 Document-level work
 ===================
 
@@ -547,7 +550,6 @@ A few important lessons (in README-maintainer)
 Also, it turns out that PointerHolder is more performant than
 std::shared_ptr.
 
-
 Rejected Ideas
 ==============