Index: TODO
===================================================================
--- TODO	(revision 10000)
+++ TODO	(revision 10001)
@@ -4,9 +4,6 @@
 + BUG: dovepi lib symbol WIZNET* and USBLC6*: integrity check fails with missing uuid [report: aron]
 + BUG: dovepi: open v3s project lht, {f n}, random name -> lib mapping errors, project libs are not found [report: aron]
 + BUG: dovepi: open v3s project lht at r100, compile ->segf [report: aron]
-- BUG: open existing symbol in symedit mode, edit, wait [report: Igor2]
-	- changed-on-disk false positive
-	- file name changes so {f s} saves to the wrong path
 - BUG: copy&paste wirenet line extension merge, see TODO#merge31 in the code [report: Igor2]
 - TEST+DOC:
 	- can load a project file TODO: pool node