update Changes for GPR #276

2015-11-03 14:31:20 +01:00 · 2015-11-03 14:31:20 +01:00 · 9e190ed926
parent 0a33eb4da5
commit 9e190ed926
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -225,6 +225,8 @@ Bug fixes:
 - PR#6944: let module X = Path in … is not typed as a module alias
  (Jacques Garrigue, report by def)
 - PR#6954: Infinite loop in type checker with module aliases
+- PR#6972, GPR#276: 4.02.3 regression on documentation comments in .cmt files
+  (Leo White, report by Olivier Andrieu)
 - PR#6982: unexpected type error when packing a module alias
 - PR#6985: `module type of struct include Bar end exposes
           %s#row when Bar contains private row types