From 4b0eca5dda5d2cd09e688f002cf29358ffa6a6b8 Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 7 Jun 2024 08:56:49 +0200
Subject: [PATCH] Updated TODOs

---
 TODO.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/TODO.md b/TODO.md
index d0e85dbeb..58c23bad6 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,3 +1,10 @@
+# 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 
+
 
 # 1.9.x