Skip to content

Improve maint/add_warning

Ian Jackson requested to merge Diziet/arti:lint-followup into main

Fixes #494 (closed). This was quite easy actually, not sure why I wanted to put it off.

This is on top of !537 (merged). It will probably make sense to review it after that merges.

Merge request reports