@set UPDATED 12 November 2018
@set UPDATED-MONTH November 2018
@set EDITION 1.2.0-g94e47c
@set VERSION 1.2.0-g94e47c
