save/restore issue added

[brisk.git] / TODO.txt

diff --git a/TODO.txt b/TODO.txt
index 5d06857..76557a3 100644 (file)
--- a/TODO.txt
+++ b/TODO.txt
@@ -6,6 +6,7 @@
    - BUG: pari + 72 non fa 4x ma attualmente fa 3x, da correggere
    - BUG: some connection to the named socket fails
    - log_legal address fix
+   - save/restore database
 
 
   MINOR |