summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-07-22 17:28:33 -0400
committerXavier Leroy <xavier.leroy@inria.fr>2017-07-22 17:28:33 -0400
commit99bb7322621f6d97062b1af0f2a34583a0e0af2e (patch)
tree4b58acd28fa7768dcc2d8a7262839729b06da5e8
parent7077b6057f59c86da2c2a7bdf9b3826b193e0ac9 (diff)
downloadocaml-pr7591.tar.gz
MPR#7591, GPR#1257: Update Changelogpr7591
-rw-r--r--Changes3
1 files changed, 3 insertions, 0 deletions
diff --git a/Changes b/Changes
index 055bb7d9be..e17af8c22e 100644
--- a/Changes
+++ b/Changes
@@ -331,6 +331,9 @@ Working version
created by Unix.symlink under Windows.
(Nicolas Ojeda Bar, review by David Allsopp)
+- MPR#7591, GPR#1257: on x86-64, frame table is not 8-aligned
+ (Xavier Leroy, report by Mantis user "voglerr", review by Gabriel Scherer)
+
- GPR#1223: Fix corruption of the environment when using -short-paths
with the toplevel.
(Leo White, review by Alain Frisch)