@set UPDATED 10 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 1.3.0-g65c0ae
@set VERSION 1.3.0-g65c0ae
