Changes

gasche · Dec 12, 2024 · ccb069c · ccb069c
1 parent 93692f9
commit ccb069c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -98,6 +98,10 @@ Working version
   output.
   (Romain Beauxis, review by David Allsopp)
 
+- #12642, #13536: in the toplevel, print shorter paths for constructors
+  and labels when only some modules along their path are open.
+  (Gabriel Scherer, review by Florian Angeletti)
+
 ### Manual and documentation:
 
 - #13469, #13474, #13535: Document that [Hashtbl.create n] creates a hash table