done

diff --git a/TODO b/TODO
index d06fe1e48850249dd66e8a1cff19cb887ffd0f77..6487c218a7ad7d5dbbade95dccb99e3380206d4a 100644 (file)
--- a/TODO
+++ b/TODO
@@ -27,8 +27,7 @@ Urgent items (before announcing ng.gnunet.org):
     + need to bound queueing of replies for other peers    
   - test multi-peer search/download
 * new webpage
-  - prevent?
-  - migrate Mantis!?
+  - migrate Mantis, Subversion
   - run peer => have a 0.9.x hostlist
   - improve basic documentation (configure, dependencies, what works, etc.)
   - write minimal welcome/introduction to 0.9.x-development/webpage/status