@set UPDATED 11 October 2019
@set UPDATED-MONTH October 2019
@set EDITION 1.3.0-g15d620
@set VERSION 1.3.0-g15d620
