1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index 1ff85042c..250408cb9 100644
--- a/Changes
+++ b/Changes
@@ -16,6 +16,7 @@ Language features:
 
 Compilers:
 - Revised simplification of let-alias (PR#5205, PR#5288)
+- Better reporting of compiler version mismatch in .cmi files
 
 Native-code compiler:
 - Optimized handling of partially-applied functions (PR#5287)