From 754307ca66c34a90398904a6fff9b169c8033612 Mon Sep 17 00:00:00 2001 From: Johannes Link Date: Wed, 15 Nov 2023 11:16:38 +0100 Subject: [PATCH] Updated TODOs --- TODO.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/TODO.md b/TODO.md index 5c69b2ec8..48491eca7 100644 --- a/TODO.md +++ b/TODO.md @@ -1,9 +1,5 @@ # 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. - - Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527 - Update samples repo