On Sat, Jun 11, 2011 at 01:54:25PM +0000, Simon Peyton-Jones wrote: > I got the dump below when I tried to push to the GHC repo. I have no idea what is going on. Thanks for the heads-up. It's just teething problems with a new bit of git/trac integration. Nothing to worry about. Thanks Ian