summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2015-11-03 14:31:20 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2015-11-03 14:31:25 +0100
commit9e190ed926f3bb71b32588f4a98ca7386259dc93 (patch)
treec85727339923cc6b25616ee37c75e7d976f5f30f /Changes
parent0a33eb4da508d34835862b90a2edd5f387489e1d (diff)
downloadocaml-9e190ed926f3bb71b32588f4a98ca7386259dc93.tar.gz
update Changes for GPR #276
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changes b/Changes
index 683b366d17..724d12b694 100644
--- a/Changes
+++ b/Changes
@@ -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