summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index 4d2b49240..d29453055 100644
--- a/Changes
+++ b/Changes
@@ -17,6 +17,7 @@ Standard library:
Features wishes:
- PR#4243: make the Makefiles parallelizable
- PR#4323: have "of_string" in Num and Big_int work with binary and hexa representations (patch by zoep)
+- PR#6071: Add a -noinit option to the toplevel (patch by David Sheets)
OCaml 4.01.0: