@set UPDATED 5 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 1.3.0-g61a6df
@set VERSION 1.3.0-g61a6df
