Merge pull request #267 from yallop/faster-ifprintf

A more efficient implementation of ifprintf

1 files changed, 2 insertions, 0 deletions

diff --git a/Changes b/Changes
index c76c2b7c55..6a3ded4551 100644
--- a/Changes
+++ b/Changes
@@ -105,6 +105,8 @@ Runtime system:
   Shinwell, review by Damien Doligez)
 
 Standard library:
+- PR#7034: 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)
 - PR#6390, GPR#36: expose Sys.{int_size,max_wosize} for improved js_of_ocaml