Herbert Valerio Riedel hvriedel at gmail.com
Tue Feb 25 18:48:00 UTC 2014

On 2014-02-25 at 18:42:03 +0100, Adam Gundry wrote:


> They are up to date but I'll go over them and tidy them up. Alas, it
> doesn't look like Trac supports redirects...

actually, it does, but the plugin was just missing; see


for more details

More information about the ghc-devs mailing list