summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index 5e4047984f..6167733e12 100644
--- a/Changes
+++ b/Changes
@@ -453,6 +453,10 @@ Working version
- #12024: insert a blank line between separate compiler messages
(Gabriel Scherer, review by Florian Angeletti, report by David Wong)
+- #12088, #9265, #11949: ocamldebug: fix confusing repeating behavior
+ on blank lines within source scripts
+ (Damien Doligez, review by Gabriel Scherer, report by Gaƫtan Gilbert)
+
- #12107: use aliases to mark weak row variables: `_[< ... ]`, `< _..>`, `_#ct`
are now rendered as `[< ...] as '_weak1`, `< .. > as '_weak1`,
and `#ct as '_weak1`.