summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2018-01-05 22:29:00 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2018-01-09 18:46:55 +0100
commit40ca506d4101520feb7908e447cb2288ed913613 (patch)
tree5a371161f020d1926838d68df53f1481d6a950ff
parentd71db857647edc91754bb50073f8806b1b217689 (diff)
downloadocaml-40ca506d4101520feb7908e447cb2288ed913613.tar.gz
Changes
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index 0361e2aa02..5ea800e7bd 100644
--- a/Changes
+++ b/Changes
@@ -146,7 +146,7 @@ Working version
### Internal/compiler-libs changes:
-- GPR#1488: Refreshing parmatch
+- GPR#1488, GPR#1560: Refreshing parmatch
(Gabriel Scherer and Thomas Refis, review by Luc Maranget)
- GPR#1502: more command line options for expect tests