From c9d58e4ecceede96edb7ec006e72275507fde40e Mon Sep 17 00:00:00 2001 From: Johannes Link Date: Fri, 7 Jun 2024 11:56:27 +0200 Subject: [PATCH] Update TODO --- TODO.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/TODO.md b/TODO.md index fe87e60ed..37e7d7ff2 100644 --- a/TODO.md +++ b/TODO.md @@ -1,7 +1,5 @@ # 1.9.0 - - Fix bug https://github.com/jqwik-team/jqwik/issues/577 - - Fix nullability annotation problem https://github.com/jqwik-team/jqwik/issues/575 Maybe with PR https://github.com/jqwik-team/jqwik/issues/575