# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1213495716 0
# Node ID a5671844978926d6f112425030d7b7b7f2894662
# Parent  277a9ee413b4028e289738686193b283953187d9
*** empty log message ***

diff -r 277a9ee413b4 -r a56718449789 doc/emacs/ChangeLog
--- a/doc/emacs/ChangeLog	Sun Jun 15 02:08:25 2008 +0000
+++ b/doc/emacs/ChangeLog	Sun Jun 15 02:08:36 2008 +0000
@@ -1,3 +1,8 @@
+2008-06-15  Glenn Morris  <rgm@gnu.org>
+
+	* gnu.texi: Use a verbatim license for this invariant section,
+	as per etc/GNU.
+
 2008-06-13  Daniel Engeler  <engeler@gmail.com>
 
 	* emacs.texi, misc.texi: Add documentation about serial port access.