# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1201321684 0
# Node ID a0f010afb29fdc00148b4f0f835746d3541f5524
# Parent  d8142fd06d2846c0821eb9b92cfdf55c2ba2ac04
*** empty log message ***

diff -r d8142fd06d28 -r a0f010afb29f ChangeLog
--- a/ChangeLog	Sat Jan 26 04:27:55 2008 +0000
+++ b/ChangeLog	Sat Jan 26 04:28:04 2008 +0000
@@ -1,3 +1,7 @@
+2008-01-26  Glenn Morris  <rgm@gnu.org>
+
+	* configure.in (--without-gcc): By default, neither off nor on.
+
 2008-01-25  Glenn Morris  <rgm@gnu.org>
 
 	* configure.in: Correct usage of OPTION_DEFAULT_ON,