Skip to content

Commit

Permalink
Updated TODOs with new bug #519
Browse files Browse the repository at this point in the history
  • Loading branch information
jlink committed Sep 30, 2023
1 parent 0db0fcb commit 171c4a5
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions TODO.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# 1.8.1

- Fix bug https://github.com/jqwik-team/jqwik/issues/519:
Probably some parameterized type resolution problem.

# 1.8.x

Expand Down

0 comments on commit 171c4a5

Please sign in to comment.