XES micro extension approved

On January 17, 2016, the XES WG has approved the XES micro extension. This extension is now considered to be one of the standard XES extension.