On Mon, Jan 5, 2009 at 7:20 PM, Ingo Molnar <mingo@elte.hu> wrote:>> hm, cannot find it - there's been too many other bugs in that timeframe so> i'd have to try a dozen configs to find out which one it was.>OK, no problem :-)JSR