Updated TODOs

jqwik-team · Oct 27, 2023 · 8436c8f · 8436c8f
1 parent 86ae3d3
commit 8436c8f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -6,6 +6,10 @@
 
 # 1.8.2
 
+    - Can large array shrinking be improved?
+      See https://github.com/jqwik-team/jqwik/issues/525 
+      and https://github.com/jqwik-team/jqwik/issues/526.
+
 
 # 1.8.x