@set UPDATED 30 June 2019
@set UPDATED-MONTH June 2019
@set EDITION 1.3.0-g05e51c
@set VERSION 1.3.0-g05e51c
