Changes entry for GPR#431

2016-01-18 08:34:33 +00:00 · 2016-01-18 08:34:33 +00:00 · b36f05bb34
parent fbd87e9081
commit b36f05bb34
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -138,6 +138,8 @@ Compilers:
  (Leo White)
 - PR#6920: fix debug informations around uses of %apply or %revapply
  (Jérémie Dimino)
+- GPR#431: permit constant float arrays to be eligible for pattern match
+  branch merging (Pierre Chambart)

 Runtime system:
 - PR#3612: allow allocating custom block with finalizers in the minor heap