[ghc-steering-committee] Fast tracked amendment: Warning category syntax (#576)

[Joachim Breitner]

Hi,

Am Mittwoch, dem 01.02.2023 um 10:11 +0100 schrieb Joachim Breitner:
>     {-# WARNING in "x-some-category" "message" #-}
> 
> This amendment is at
> https://github.com/ghc-proposals/ghc-proposals/pull/576.
> 
> This seems to be changing a minor aspect of the original proposal and
> implementation is ready, so I think we can fast-track accepting this.
> If you disagree with this process please complain until the end of the
> week (Sun Feb 5).

Arnaud nodded politely, nobody complained, so that’s fast-tracked too.

Cheers,
Joachim

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