Merge pull request #1419 from mxinden/cut-0.15.0-rc.3

*: Cut 0.15.0-rc.3
This commit is contained in:
Max Inden 2018-06-18 12:17:42 +02:00 committed by GitHub
commit 5e86f61bd7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 1 deletions