18 Jul
2019
18 Jul
'19
5:46 a.m.
Hi, Am Mittwoch, den 17.07.2019, 11:30 -0400 schrieb Richard Eisenberg:
Alternatively, we can set up the mailing list so that non-member posts are moderated instead of auto-rejected.
are they rejected? I hope not: The mailing list is the recommended point of contact if someone wants to talk to the committee: https://github.com/ghc-proposals/ghc-proposals/#who-is-the-committee Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/