Commit 96ece822c3a852dcedb5508053bd5356128d8b55

Steffen Jaeckel 2019-04-09T21:47:13

Merge pull request #215 from fperrad/20190409_lint some linting