* trampver.texi: Update release number.
authorMichael Albinus <michael.albinus@gmx.de>
Tue, 9 Oct 2012 12:51:21 +0000 (14:51 +0200)
committerMichael Albinus <michael.albinus@gmx.de>
Tue, 9 Oct 2012 12:51:21 +0000 (14:51 +0200)
commit0a078f36546e47308e01c86a0658fff408c0664e
tree0abf3dcf073e5f1ef6a9025e5fabef6473a4f5db
parent1d51f99c52d3d4f702dcefa80fad2956caac5f48
* trampver.texi: Update release number.
doc/misc/ChangeLog
doc/misc/trampver.texi