summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Angeletti <octa@polychoron.fr>2017-08-21 12:42:37 +0200
committerGitHub <noreply@github.com>2017-08-21 12:42:37 +0200
commit3ea80c98ceb8bcf845e618ccf9b5512ecfee3853 (patch)
tree98857eb699c35f0102adcfa3238776ce6601a60b
parent14f142b1861af676b961047f344efebfb824f726 (diff)
parente61e8740a9a8d95f8132ab31be10fa39adda178b (diff)
downloadocaml-3ea80c98ceb8bcf845e618ccf9b5512ecfee3853.tar.gz
Merge pull request #1299 from gasche/cleanup-changes
minor Changes cleanup
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index 10dba6f777..7c38b11170 100644
--- a/Changes
+++ b/Changes
@@ -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