Merge branch 'release/0.5.0'

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-11-21 13:24:25
Author local date 2019-11-21 14:24:25 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-11-21 13:24:25
Committer local date 2019-11-21 14:24:25 +0100
Commit fd806b0567612006609693d30b5ed418678a9305
Tree 0e750b1e67a8210ae530d124f9eb6dabb222d811
Parent a2395d9d1167cc0b0382af4980442a9b31a8d25f
Parent a20dcd9b760f65f5e70ea400b46830e1a2eaafb9
Merge branch 'release/0.5.0'