Commit 9f41e565bfc4c88190cc3e555b74554e71116a51

Steffen Jaeckel 2018-02-02T09:44:07

Merge pull request #97 from fperrad/20171210_lint some linting