version.texi   [plain text]

@set UPDATED 21 March 2017
@set EDITION 4.2.8p10
@set VERSION 4.2.8p10