Updated TODO

jqwik-team · Oct 20, 2023 · b945cde · b945cde
1 parent 238c991
commit b945cde
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,8 +1,5 @@
 # 1.8.1
 
-    - Fix bug https://github.com/jqwik-team/jqwik/issues/519: 
-      Probably some parameterized type resolution problem.
-
 # 1.8.x
 
     - Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523