Update ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0e6c8db8279d02d3d46274f4883ac0d640bca5e8..c2340e429dc29896fae32578c7c8583e6d1226ee 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,22 @@
+2012-06-02  Ivan Maidanski <ivmai@mail.ru>
+
+       * include/private/gc_priv.h (GC_push_all, GC_push_other_roots):
+       Declare as GC_API_PRIV (instead of GC_INNER) to make the symbol
+       externally visible to some well-known 3rd-party software (e.g., ECL).
+       * include/private/gc_priv.h (GC_push_conditional): Declare as
+       GC_API_PRIV (only if GC_DISABLE_INCREMENTAL is undefined).
+       * mark.c (GC_push_all, GC_push_conditional): Remove GC_INNER (to match
+       the declaration).
+       * os_dep.c (GC_push_other_roots): Likewise.
+
+2012-06-02  Ivan Maidanski <ivmai@mail.ru>
+
+       * include/private/gc_priv.h (GC_clear_mark_bit, GC_set_mark_bit):
+       Declare as GC_API_PRIV (instead of GC_INNER) to make the symbol
+       externally visible to 3rd-party software (e.g., ECL).
+       * mark.c (GC_set_mark_bit, GC_clear_mark_bit): Remove GC_INNER (to
+       match the declaration).
+
 [7.2b]
 
 2012-05-23  Ivan Maidanski <ivmai@mail.ru>