Bump version

Author Pius Raeder <raeder.pius@googlemail.com>
Author date 2019-11-21 13:24:06
Author local date 2019-11-21 14:24:06 +0100
Committer Pius Raeder <raeder.pius@googlemail.com>
Committer date 2019-11-21 13:24:06
Committer local date 2019-11-21 14:24:06 +0100
Commit a20dcd9b760f65f5e70ea400b46830e1a2eaafb9
Tree 0e750b1e67a8210ae530d124f9eb6dabb222d811
Parent aefff2421124af1b2284e2d57efd100498aab8ce
Bump version