Rework TODOs for jqwik 1.9.x

jqwik-team · May 24, 2024 · a87906c · a87906c
1 parent da711a7
commit a87906c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,7 +1,9 @@
-# 1.8.5
 
-# 1.8.x
-    - Replace jsr305 with jspecify
+# 1.9.x
+
+    - Upgrade to Kotlin 2.0
+        - Replace jsr305 with jspecify
+        - Fix type problems from K2 compiler
 
     - Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527