Commit 69a7ca78aac48a23664cadc9a3706d165b332cd3

Steffen Jaeckel 2019-10-15T19:20:34

Merge pull request #376 from fperrad/20191015_lint some linting