From 909ced35f3c65f629e3e4829fe747f3a05812377 Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 1 Nov 2024 10:43:20 +0100
Subject: [PATCH] Added bug 599 to TODOs for 1.9.2

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

diff --git a/TODO.md b/TODO.md
index fe89a8a8b..ccaf47f2c 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,7 @@
 # 1.9.2
 
+    - Bug with provider method type matching in interface default methods.
+      See https://github.com/jqwik-team/jqwik/issues/599.
 
 # 1.9.x