version.texi revision 298699
1@set UPDATED 26 April 2016
2@set EDITION 4.2.8p7
3@set VERSION 4.2.8p7
4