Remove alleged bug from TODO list, can't reproduce it.

diff --git a/TODO b/TODO
index d9f15940234ccfd7711ec3e07562ddc17fde2164..412b72e23ecccd28bde9282e13945e9e04aa712f 100644 (file)
--- a/TODO
+++ b/TODO
@@ -11,8 +11,6 @@ BOTH SERVER/CLIENT:
 
 SERVER:
 
-- bug: -v works, and -vs, but not -sv – why?
-
 - consider
   <http://www.plomlompom.de/PlomRogue/plomwiki.php?title=TheCreationOfSpace#comment_0>