PatR 2e2b54e548 overriding message suppression, revisited ...

This is more robust than the previous hack.  The issue of whether to
use it in other places is still unexplored.  Ultimately it's the user's
fault if overzealous message suppression hides something important.
[For an eerie game, try 'MSGTYPE=hide .'.]

2016-01-19 18:16:13 -08:00

20 KiB

Raw Blame History

View Raw