Fix possibility to disable Linter
bug #643 Fix possibility to disable Linter (keradus)

This PR was merged into the 1.0.x-dev branch.

Discussion
----------

Fix possibility to disable Linter

Commits
-------

90a18d7 Fix possibility to disable Linter