Update changes

ocaml · Jun 21, 2024 · 3bbb449 · 3bbb449
1 parent 3b225a2
commit 3bbb449
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -99,6 +99,10 @@ _______________
   purpose of displaying backtraces correctly in GDB.
   (Tim McGilchrist, review by Miod Vallat and Gabriel Scherer)
 
+- #13242: Define and use the unreachable annotation, and clean-up some
+  assertions.
+  (Antonin Décimo, review by Miod Vallat and Gabriel Scherer)
+
 ### Code generation and optimizations:
 
 - #13014: Enable compile-time option -function-sections on all previously