On Fri 16 Mar 2012 19:44, Neil Jerram <n...@ossau.homelinux.net> writes:
> Except... that there does now seem to be a significant problem with > master's compilation time. In practice this is now taking so long that > it has no chance of completing (on my build machine) within a day. > Hence for now I'm going to disable the master build. I have observed a bug on master whereby sometimes, not reproducibly, it gets "stuck" doing something. I think it's related to the rob_from_rich() bug that Ludovic reported recently. I hope to figure out what it is soon. Andy -- http://wingolog.org/