Bump version

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-11-16 13:47:44
Author local date 2019-11-16 14:47:44 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-11-16 13:47:44
Committer local date 2019-11-16 14:47:44 +0100
Commit 480d8761af8cb4cdc21d2c90e846b05014bdc0f4
Tree b74d6d6fb8e0ff2691d450f68f33653f84fdd578
Parent d606698a6585dd7fa8ee7ff1631e0f0e6de5b75c
Bump version