version.texi revision 316722
1@set UPDATED 21 March 2017
2@set EDITION 4.2.8p10
3@set VERSION 4.2.8p10
4