Support for indirect symbols under MacOS X (final).

Remove stdio hack in runtime/


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1979 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 8 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index c75cd90..07968e8 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,11 @@
+Release 1.12
+========================
+
+Other changes:
+- IA32/MacOS X: now supports referencing global variables defined in shared
+  libraries; old hack for stdio is no longer needed.
+
+	
 Release 1.11, 2012-07-13
 ========================