version.texi revision 310419
1@set UPDATED 21 November 2016
2@set EDITION 4.2.8p9
3@set VERSION 4.2.8p9
4