Commit faea5da30a3c1f06f70209e20d80a275de8a1e6f

Steffen Jaeckel 2017-10-15T22:35:08

Merge pull request #43 from fperrad/20151127_lint lintings and more This fixes #71