Build #1112:   Merge pull request #119 from CarstenWickner/deps-update minor bug fix and various dev ... on branch master almost 5 years ago