version.texi revision 344884 
1@set UPDATED 20 February 2019
2@set EDITION 4.2.8p13
3@set VERSION 4.2.8p13
4