5 Mar
2017
5 Mar
'17
11 p.m.
On Mar 4, 2017, at 12:56 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:
I wonder if we should configure travis to send build error messags to, for example, ghc-commits?
+1 to public shaming. Where we understand that there is no shame is making mistakes. Richard