Merge branch 'release/0.4.0'

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-11-16 13:48:04
Author local date 2019-11-16 14:48:04 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-11-16 13:48:04
Committer local date 2019-11-16 14:48:04 +0100
Commit a2395d9d1167cc0b0382af4980442a9b31a8d25f
Tree b74d6d6fb8e0ff2691d450f68f33653f84fdd578
Parent bfc63916d5728d204a37e7b81901f514c6cb82e0
Parent 480d8761af8cb4cdc21d2c90e846b05014bdc0f4
Merge branch 'release/0.4.0'