
13 Aug
2014
13 Aug
'14
10:30 p.m.
On 2014-08-14 at 00:09:40 +0200, Mateusz Kowalczyk wrote: [...]
I don't know what the GHC branch name will be yet. ‘ghc-head’ makes most sense but IIRC Herbert had some objections as it had been used in the past for something else, but maybe he can pitch in.
I had no objections at all to that name, 'ghc-head' is fine with me :-)