[ghc-steering-committee] Please review #258: TopLevelKindSignatures -> StandaloneKindSignatures , Shepherd: Chris
Joachim Breitner
mail at joachim-breitner.de
Thu Sep 5 08:35:51 UTC 2019
Hi,
Am Dienstag, den 03.09.2019, 22:59 -0700 schrieb Sandy Maguire:
> Let's just merge it and save the bureaucracy for proposals with real consequences behind them.
done. Should have realized that alrady when it was proposed, but wasn’t
paying close attention.
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list