1 files changed, 4 insertions, 0 deletions
diff --git a/Changelog b/Changelog
index 5dc56c1b..c7d8d2f4 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Coq development:
+- RTLgen: use the state and error monad for reserving goto labels (#371)
+  (by Pierre Nigron)
+
 Release 3.11, 2022-06-27
 ========================