Changes

gasche · Oct 14, 2024 · 331d783 · 331d783
1 parent 08b0bef
commit 331d783
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -81,6 +81,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:
 
 ### Compiler user-interface and warnings: