@set UPDATED 22 July 2019
@set UPDATED-MONTH July 2019
@set EDITION 1.3.0-g9bd8bd
@set VERSION 1.3.0-g9bd8bd
