Updated TODOs

jqwik-team · Dec 9, 2022 · 7a37d8d · 7a37d8d
1 parent 9c6a6a6
commit 7a37d8d
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,8 +1,5 @@
 # 1.7.2
 
-    - Footnotes.addAfterFailure(..).
-      See https://github.com/jlink/jqwik/issues/310.
-
 # 1.7.x
 
     - PropertyInfo: Provide PropertyInfo hook with info about the porperty's display name, class, method, tags etc.