1 files changed, 1 insertions, 0 deletions

diff --git a/TODO b/TODO
index 61890e154..c6ad7bfb5 100644
--- a/TODO
+++ b/TODO
@@ -185,3 +185,4 @@ Manuel's todo:
   b) Write a space-efficient gettext substitute, to avoid storing large amounts
      of redundant data.
 
+