On Thu, 2011-11-03 at 09:41 +0200, Gleb Natapov wrote:> Ingo, Peter can you look into this please.queued it and the jump_label thing.