Merge tag '0.4.0' into develop

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-11-16 13:48:13
Author local date 2019-11-16 14:48:13 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-11-16 13:48:13
Committer local date 2019-11-16 14:48:13 +0100
Commit 1a3c4808225f5a5dc66021ffd168178a9a9b945a
Tree b74d6d6fb8e0ff2691d450f68f33653f84fdd578
Parent d606698a6585dd7fa8ee7ff1631e0f0e6de5b75c
Parent a2395d9d1167cc0b0382af4980442a9b31a8d25f
Merge tag '0.4.0' into develop

0.4.0