summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes3
1 files changed, 3 insertions, 0 deletions
diff --git a/Changes b/Changes
index 2a030d365..69157e5e1 100644
--- a/Changes
+++ b/Changes
@@ -29,6 +29,9 @@ Runtime system:
(Xavier Leroy)
Standard library:
+* PR#6494: Add equal function in modules
+ Big_int, Bytes, Char, Digest, Int32, Int64, Nativeint, Num and String
+ (Romain Calascibetta)
- PR#6577: improve performance of %L, %l, %n, %S, %C format specifiers
(Alain Frisch)
- PR#6585: fix memory leak in win32unix/createprocess.c