@set UPDATED 3 December 2018
@set UPDATED-MONTH December 2018
@set EDITION 1.2.0-ga8799b
@set VERSION 1.2.0-ga8799b
