Re: [ghc-steering-committee] Fast tracked amendment: No #. label (#573)

5 Feb 2023

      Hi,

Am Mittwoch, dem 01.02.2023 um 10:11 +0100 schrieb Joachim Breitner:
...
This should be part of 9.6, so I’d like to fast-track this for
acceptance. If you disagree with this process please complain until the
end of the week (Sun Feb 5).
fasttracked!

Cheers,
Joachim

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