From f0beeeb138caf0cb5d965a25b5d05578246abc69 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Fri, 1 Nov 2024 14:56:19 +0100 Subject: [PATCH] Add release note --- docs/dev/news/5882.fix | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/dev/news/5882.fix diff --git a/docs/dev/news/5882.fix b/docs/dev/news/5882.fix new file mode 100644 index 0000000000..8764df4160 --- /dev/null +++ b/docs/dev/news/5882.fix @@ -0,0 +1 @@ +Enable using reveal statement expression inside witness expressions \ No newline at end of file