Updated TODOs with new bug #519

jlink · jlink · commit 171c4a5335cd · 2023-09-30T14:40:35.000+02:00
diff --git a/TODO.md b/TODO.md
@@ -1,5 +1,7 @@
 # 1.8.1
 
+    - Fix bug https://github.com/jqwik-team/jqwik/issues/519: 
+      Probably some parameterized type resolution problem.
 
 # 1.8.x
 
