summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2014-12-16 13:34:46 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2014-12-16 13:34:46 +0000
commit094ffa726ffadcc46582155cb0b2d58394721c11 (patch)
tree027d058fdc0d04fee098659c8209f0aaa4b5fa26 /Changes
parentac6c857df4afcf3ef7abffa92866f19a3d5bcf32 (diff)
PR#6717: Pprintast does not print let-pattern attributes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changes b/Changes
index 5cd536061..353f0259a 100644
--- a/Changes
+++ b/Changes
@@ -60,6 +60,8 @@ Bug fixes:
- PR#6648: show_module should indicate its elision
- PR#6650: Cty_constr not handled correctly by Subst
- PR#6651: Failing component lookup
+- PR#6717: Pprintast does not print let-pattern attributes
+ (Gabriel Scherer, report by Peter Zotov)
- allow android build with pthreads support (since SDK r10c)
(Peter Zotov)