removed warnings

This commit is contained in:
Philipp Hemmelmayr 2019-01-05 18:44:47 +01:00 committed by GitHub
parent e33fc1dacb
commit 5a2fbbaddd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23