@set UPDATED 10 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 0.12.1
@set VERSION 0.12.1
