version.texi revision 358659 
1@set UPDATED 03 March 2020
2@set EDITION 4.2.8p14
3@set VERSION 4.2.8p14
4