@set UPDATED 15 December 2019
@set UPDATED-MONTH December 2019
@set EDITION 1.3.0-g710160
@set VERSION 1.3.0-g710160
