decided not to do this TODO

would make it more complicated to prove correct, for no gain I think

1 files changed, 0 insertions, 10 deletions

diff --git a/TODO b/TODO
index 4ef7eb4..03b0a70 100644
--- a/TODO
+++ b/TODO
@@ -1,13 +1,3 @@
-* Under heavy lag, typing a lot results in a graph that splits into many
-  branches, and never re-joins. While this works, it's ugly. Find a way to
-  add in explicit join points, so the graph re-joins.
-  Probably this entails making a Activity Entered be able to point to
-  the previous Activity Entered. Then in eg:
-  Entered: A B C D E F G 
-  Seen:                  A
-  An "H" entered can point to the "A" seen, but also point to the "G"
-  entered.
-  This should only be ugly, not a security hole.
 * Improve JSON, removing use of "tag"
 * potential DOS where developer sends Activity Entered that all
   refer back to the first Activity Seen. This requires the user