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

Hi, implementation work on #170 led to insights that called for small adjustments to the design, namely to remove dot from characters allowed in overloaded labels. The proposal is amended at https://github.com/ghc-proposals/ghc-proposals/pull/573. 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). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/