Task: Create new Release#72
Merged
markusguenther merged 15 commits intomasterfrom Jun 26, 2019
Merged
Commits
Commits on May 31, 2019
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
Commits on Jun 5, 2019
Commits on Jun 15, 2019
![greenkeeper[bot]](https://avatars.githubusercontent.com/in/505?v=4&size=32){kind=avatar}
Commits on Jun 22, 2019
Commits on Jun 25, 2019
- authored
- authored
- authored
- authored
Commits on Jun 26, 2019
- authored
- authored
- authored
- committed
- authored