fix linting issues

This commit is contained in:
2017-10-12 20:38:34 +02:00
parent ce121b8b7f
commit 45d3ce8ffc