summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2015-10-31 16:58:17 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2015-10-31 16:58:17 +0100
commit6ca3ce56ee50a80edad4283ea0ee1720c9848b0c (patch)
treeeb1979a6fc62f0fff964dd0fcf2eb3574f15703f /Changes
parentb2e81d78008942cee997ac229cc06d329d600a5c (diff)
downloadocaml-6ca3ce56ee50a80edad4283ea0ee1720c9848b0c.tar.gz
Changes elaboration
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index 6a3ded4551..d86fe15605 100644
--- a/Changes
+++ b/Changes
@@ -105,7 +105,7 @@ Runtime system:
Shinwell, review by Damien Doligez)
Standard library:
-- PR#7034: More efficient ifprintf implementation
+- PR#6017, PR#7034, GPR#267: More efficient ifprintf implementation
(Jeremy Yallop, review by Gabriel Scherer)
- PR#6316: Scanf.scanf failure on %u formats when reading big integers
(Xavier Leroy, BenoƮt Vaugon)