# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1193153239 0
# Node ID 6ad03952a0c2744a1fcd2fbf1ff1fed4508b120f
# Parent  4f5119c6c0485a378652f0aef507f09b5e26b9fc
*** empty log message ***

diff -r 4f5119c6c048 -r 6ad03952a0c2 admin/FOR-RELEASE
--- a/admin/FOR-RELEASE	Tue Oct 23 15:11:28 2007 +0000
+++ b/admin/FOR-RELEASE	Tue Oct 23 15:27:19 2007 +0000
@@ -59,6 +59,7 @@
 I proposed a patch, which fixed this and seemed right, but the patch
 caused other problems.  They are being investigated now.
 
+** keramida@ceid.upatras.gr, Oct 15: svenjoac@gmx.de: Fwd: tex-mode complains about mismatched
 
 * DOCUMENTATION