diff options
author | Florian Angeletti <octa@polychoron.fr> | 2017-08-21 12:42:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-21 12:42:37 +0200 |
commit | 3ea80c98ceb8bcf845e618ccf9b5512ecfee3853 (patch) | |
tree | 98857eb699c35f0102adcfa3238776ce6601a60b | |
parent | 14f142b1861af676b961047f344efebfb824f726 (diff) | |
parent | e61e8740a9a8d95f8132ab31be10fa39adda178b (diff) | |
download | ocaml-3ea80c98ceb8bcf845e618ccf9b5512ecfee3853.tar.gz |
Merge pull request #1299 from gasche/cleanup-changes
minor Changes cleanup
-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 |