diff --git a/Changes b/Changes index 683b366d1..724d12b69 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