Index: TODO
===================================================================
--- TODO (revision 59d556541d6603f37383223706bde8a4c5b11f47)
+++ TODO (revision d4fb9791634410c817fc06036efcc9aae1f8fe91)
@@ -5,5 +5,4 @@
  * Opening large documents is _really_ slow on win32's timer implementation
  * On connection loss: give a chance to save everything
- * Gobby sometimes segfaults on exit
 
 Important: