summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Changes6
1 files changed, 6 insertions, 0 deletions
diff --git a/Changes b/Changes
index ecbda02ce..079031dae 100644
--- a/Changes
+++ b/Changes
@@ -1,3 +1,9 @@
+Next version
+------------
+
+Bug fixes:
+- PR#5551: Avoid repeated lookups for missing cmi files
+
OCaml 4.00.0:
-------------