Commit f8e9bd27f0b20e05b0ca15b11b2f4857ebc76080

Steffen Jaeckel 2019-10-20T15:38:32

Merge pull request #387 from fperrad/20191019_lint some linting (cherry picked from commit 8095b3b61240628f052153d6c37539955632564e)