summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index e5dda36c0..ea4ccf1ae 100644
--- a/Changes
+++ b/Changes
@@ -52,6 +52,7 @@ Bug fixes:
- PR#5772: problem with marshaling of mutually-recursive functions
- PR#5775: several bug fixes for tools/pprintast.ml
- PR#5785: misbehaviour with abstracted structural type used as GADT index
+- PR#5806: ensure that backtrace tests are always run (testsuite)
OCaml 4.00.1: