branch based on tag for release 1.3.1.0 to perform some bugfixes and minor changes on that version
Authored by: matthiasmossner 2018-12-18
Parent: [r1823]
Child: [r1825]