# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 976615300 0
# Node ID 57de0fd3122d4c19625f074220cc00149e2bbde8
# Parent  286c73f656a1d6d2b9eb3083a6b0062c5ce4ba44
*** empty log message ***

diff -r 286c73f656a1 -r 57de0fd3122d src/ChangeLog
--- a/src/ChangeLog	Tue Dec 12 10:01:19 2000 +0000
+++ b/src/ChangeLog	Tue Dec 12 10:01:40 2000 +0000
@@ -1,3 +1,7 @@
+2000-12-12  Gerd Moellmann  <gerd@gnu.org>
+
+	* s/gnu-linux.h (GC_MARK_STACK): Define as GC_MAKE_GCPROS_NOOPS.
+
 2000-12-11  Gerd Moellmann  <gerd@gnu.org>
 
 	* xfns.c (Fx_hide_tip): Fix last change.