Build #125:   Merge pull request #48 from Wekra/development [WIP] Release at the end of the semester on branch v0.9 about 7 years ago