@set UPDATED 30 July 2017
@set UPDATED-MONTH July 2017
@set EDITION 0.10.5-pre3
@set VERSION 0.10.5-pre3
