summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changes b/Changes
index 2098a73694..22ab2d1718 100644
--- a/Changes
+++ b/Changes
@@ -334,6 +334,8 @@ Bug fixes:
Mark Shinwell)
- GPR#283: Fix memory leaks in intern.c when OOM is raised
(Marc Lasson, review by Alain Frisch)
+- GPR#313: Prevent quadratic cases in CSE
+ (Pierre Chambart, review by Xavier Leroy)
Features wishes:
- PR#4518, GPR#29: change location format for reporting errors in ocamldoc