# HG changeset patch
# User Michael Albinus <michael.albinus@gmx.de>
# Date 1200340200 0
# Node ID 73f3bfa2b31ef006522b9403f232ab246f6fdf9c
# Parent  f95e835394985cf2fdf0a67b4fbd7c58721ac8da
* trampver.texi: Update release number.

diff -r f95e83539498 -r 73f3bfa2b31e doc/misc/trampver.texi
--- a/doc/misc/trampver.texi	Mon Jan 14 19:42:14 2008 +0000
+++ b/doc/misc/trampver.texi	Mon Jan 14 19:50:00 2008 +0000
@@ -4,7 +4,7 @@
 @c In the Tramp CVS, the version number is auto-frobbed from
 @c configure.ac, so you should edit that file and run
 @c "autoconf && ./configure" to change the version number.
-@set trampver 2.1.12
+@set trampver 2.1.13-pre
 
 @c Other flags from configuration
 @set instprefix /usr/local