Merge branch 'release/0.3.0'

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-10-21 17:35:03
Author local date 2019-10-21 19:35:03 +0200
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-10-21 17:35:03
Committer local date 2019-10-21 19:35:03 +0200
Commit d10ec39b4e0fc9dd0b52a02f262dac83e85f2ed2
Tree a69bcf69cf78f287db052f20f257614caad239d6
Parent c6f82c3b20a8bd0ff6d691b2a653c385feaa8550
Parent b4835a553638c9ab698c07f4a565c51be8a17096
Merge branch 'release/0.3.0'