@set UPDATED 12 July 2019
@set UPDATED-MONTH July 2019
@set EDITION 1.3.0-g445771
@set VERSION 1.3.0-g445771
