Commit 81db54d6 authored Jan 27, 2019 by Andreas Klöckner

Merge branch 'pylint' into 'master'

Pylint

See merge request !68