version.texi revision 301301
1@set UPDATED 02 June 2016
2@set EDITION 4.2.8p8
3@set VERSION 4.2.8p8
4