On 5/13/21 5:12 PM, Martin Sebor wrote:
Since errors are higher priority than warnings I'd suggest making this the first check, before the warnings above, (and adding a test to verify that that's how it works).
Good idea. I've just pushed such change. Martin
