summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Changes7
1 files changed, 7 insertions, 0 deletions
diff --git a/Changes b/Changes
index f2665bb351..95a8262d57 100644
--- a/Changes
+++ b/Changes
@@ -94,6 +94,13 @@ Working version
(Leo White, Xavier Clerc, report by Alex, review by Gabriel Scherer
and Pierre Chambart)
+- GPR#1323: make sure that frame tables are generated in the data
+ section and not in the read-only data section, as was the case
+ before in the PPC and System-Z ports. This avoids relocations in
+ the text segment of shared libraries and position-independent
+ executables generated by ocamlopt.
+ (Xavier Leroy, review by Mark Shinwell)
+
### Standard library:
- MPR#1771, MPR#7309, GPR#1026: Add update to maps. Allows to update a