version.texi revision 362716 
1@set UPDATED 23 June 2020
2@set EDITION 4.2.8p15
3@set VERSION 4.2.8p15
4