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

[Joachim Breitner]

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 at joachim-breitner.de
  http://www.joachim-breitner.de/