diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -97,7 +97,7 @@ Working version pretty-printing items. New fields have been added to the formatter_out_functions record, thus this change will break any code building such record from scratch. - (Richard Bonichon and Pierre Weiss, review by Alain Frisch) + (Richard Bonichon and Pierre Weis, review by Alain Frisch) * GPR#943: Fixed the divergence of the Pervasives module between the stdlib and threads implementations. In rare circumstances this can change the |