Hi, Am Dienstag, den 28.02.2017, 12:14 +1100 schrieb Manuel M T Chakravarty:
Great! One small suggestion that just occurred to me: should we maybe note the GitHub handles of all committee members next to their name in the committee list? That might be useful for authors who want to approach people at some point to ask questions etc.
I started that already, by adding mine, as you can see in https://github.com/ghc-proposals/ghc-proposals#who-is-the-committee If you think it is useful to list all GitHub handles, well, I can do that. One moment... Greetings, Joachim -- -- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org