summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2018-01-28 15:41:15 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2018-01-28 15:46:29 +0100
commitaf2ad1b67b5753246e69c6806ca07ba83f3fbf0f (patch)
treeb50a4a873eb9cb7f10a49fc58b07c32d0dbbbd08
parent5130e8a3ace69788f8313cb68231c3b30b7e6d59 (diff)
downloadocaml-af2ad1b67b5753246e69c6806ca07ba83f3fbf0f.tar.gz
Changes entry
-rw-r--r--Changes3
1 files changed, 3 insertions, 0 deletions
diff --git a/Changes b/Changes
index a0df8e8013..bdfd5d8c63 100644
--- a/Changes
+++ b/Changes
@@ -233,6 +233,9 @@ Working version
- MPR#7712, GPR#1576: assertion failure with type abbreviations
(Thomas Refis, report by Michael O'Connor, review by Jacques Garrigue)
+- GPR#1530, GPR#1574: testsuite, fix 'make parallel' target
+ (Runhang Li and Sébastien Hinderer, review by Gabriel Scherer)
+
4.06 maintenance branch
-----------------------