Fix of version numbers 2.0.0.2 -> 2.0.1 (because must be a release version!)
Authored by: bloehr 2019-08-30
Parent: [r2064]
Child: [r2066]
