@set UPDATED 7 July 2019
@set UPDATED-MONTH July 2019
@set EDITION 1.3.0-g0c7bd8
@set VERSION 1.3.0-g0c7bd8
