# HG changeset patch
# User viteno
# Date 1192225867 0
# Node ID 807c86a7612a16f72d0dc33073564a89ddbdedde
# Parent  d32d71c5a5398e007aaf64a4905677544b5c159c
[xemacs-hg @ 2007-10-12 21:51:07 by viteno]
Update xemacs_extra_name.

diff -r d32d71c5a539 -r 807c86a7612a version.sh
--- a/version.sh	Thu Oct 11 21:51:09 2007 +0000
+++ b/version.sh	Fri Oct 12 21:51:07 2007 +0000
@@ -8,5 +8,5 @@
 infodock_major_version=4
 infodock_minor_version=0
 infodock_build_version=8
-xemacs_extra_name="(+CVS-20071011)"
+xemacs_extra_name="(+CVS-20071012)"
 xemacs_release_date="2007-05-21"