Skip to content

Modernise filtering of warnings and errors

Eduardo Rodrigues requested to merge erodrigu-warnings-2019-12-18 into run2-patches

See suggestion by @cattanem in !358 (merged).

Merge request reports