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