@set UPDATED 28 May 2016
@set UPDATED-MONTH May 2016
@set EDITION 4.7.0-git
@set VERSION 4.7.0-git
