On Thu, 2009-01-29 at 21:18 +0100, gabor papp wrote: > > Thanks to Evan (who I now owe lunch to) I've just committed a fix for a > > garbage collection crash in the console which has been eluding me for > > some time. > didn't you forget to push it? i can't see the changes. oops - try it again :) cheers, dave