[ghc-steering-committee] #451: WARNING pragma with category, Recommendation: accept

[Joachim Breitner]

Hi,

Am Mittwoch, dem 16.11.2022 um 20:16 +0100 schrieb Joachim Breitner:
> Adam has submitted “WARNING pragmas with categories” for committee

I got minor tweaks ([x-partial] in the pragma, thanks Arnaud) and
proposal text improvements  (thanks Simon), and strong support, but no
complaints.

I’ll merge within a week if stays this way.

Cheers,
Joachim


-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/