From ecfea240371d4899996f32e0ece61e5d13d69c8c Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Mon, 3 Jul 2023 14:05:50 +0200 Subject: [PATCH] Update changelog --- .unreleased/bug-fixes/2629-typevar-translation.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/bug-fixes/2629-typevar-translation.md diff --git a/.unreleased/bug-fixes/2629-typevar-translation.md b/.unreleased/bug-fixes/2629-typevar-translation.md new file mode 100644 index 0000000000..6f0a55040b --- /dev/null +++ b/.unreleased/bug-fixes/2629-typevar-translation.md @@ -0,0 +1 @@ +Fix an issue with translating Quint type variables, see #2629