Add release notes

dafny-lang · May 24, 2023 · afd56e2 · afd56e2
1 parent 32cfcc0
commit afd56e2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/dev/3727.fix b/docs/dev/3727.fix
@@ -0,0 +1 @@
+Avoid infinite recursion when trying to construct a potentially self-referential object during test generation