Merge branch 'release/0.6.0'

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2020-02-26 12:49:58
Author local date 2020-02-26 13:49:58 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2020-02-26 12:49:58
Committer local date 2020-02-26 13:49:58 +0100
Commit HEAD
Tree 6de653bab990e880047457b3e300b598a636a21f
Parent fd806b0567612006609693d30b5ed418678a9305
Parent 53c22f8abf5597e2a762f9a8b55cc6569f63f2a5
Merge branch 'release/0.6.0'