@set UPDATED 6 December 2019
@set UPDATED-MONTH December 2019
@set EDITION 0.12.2
@set VERSION 0.12.2
