Revert "Merge branch 'erodrigu-lint-2018-patches' into '2018-patches'"

This reverts merge request !1710 (merged)

Merge request reports

Loading