From 7a37d8dd5c66616320390e5c284a2e8eac6023fd Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 9 Dec 2022 14:12:01 +0100
Subject: [PATCH] Updated TODOs

---
 TODO.md | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/TODO.md b/TODO.md
index 228053017..ee98628fb 100644
--- 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.