@set UPDATED 26 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 1.3.0-ga70857
@set VERSION 1.3.0-ga70857
