1 files changed, 0 insertions, 4 deletions
diff --git a/TODO b/TODO
index deb20c6d..e10f1363 100644
--- a/TODO
+++ b/TODO
@@ -4,10 +4,6 @@ Annotations:
  RC == Release Critical
-0.7.2 (goal: re-enable all 0.7.0 features):
- test namespace search
 0.7.3 (goal: polish):
 - #1045: ability to pause a search => requires FSUI changes! [RC]
 - improve collection handling [RC]

diff --git a/TODO b/TODO index deb20c6d..e10f1363 100644 --- a/TODO +++ b/TODO
@@ -4,10 +4,6 @@ Annotations:
4	RC == Release Critical	4	RC == Release Critical
5		5
6		6
7	0.7.2 (goal: re-enable all 0.7.0 features):
8	- test namespace search
9
10
11	0.7.3 (goal: polish):	7	0.7.3 (goal: polish):
12	- #1045: ability to pause a search => requires FSUI changes! [RC]	8	- #1045: ability to pause a search => requires FSUI changes! [RC]
13	- improve collection handling [RC]	9	- improve collection handling [RC]