
15 Jan
2021
15 Jan
'21
9:11 a.m.
Same here.
On Fri, Jan 15, 2021 at 10:37 AM Joachim Breitner
Am Dienstag, den 29.09.2020, 15:00 +0000 schrieb Richard Eisenberg:
However, given that this PR is all about how we function, as a committee, I would like to see participation (ideally, agreement!) from everyone here before proceeding, even if it's just a LGTM.
LGTM
Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee