Commit c5b901b917c613a8b21064f816e6a7c70ed2fa09

Steffen Jaeckel 2019-10-07T20:20:09

Merge pull request #360 from fperrad/20191007_lint some linting