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