v6r9

Markus Frank

@frankm

7f9aca9c · Merge branch 'v6r9-release' into 'master' · Feb 07, 2018

Online release v6r9. Incorporate the main changes for the 2018 running.