Am 21.08.2010 um 15:36 schrieb Punyashloka Biswal: >> Yes, it works. But I'll propose a slightly simpler version. > > Agreed, that's better. Should I resend your version to the mailing > list and/or attach it to the ticket?
I've commit it, thanks. As Jürgen said, welcome. > Also, I'm curious: do you know why was the loop written "backwards" in > the first place? No, I tried to find a related change of that loop in the history... ... but it seems like no change happened here. So I guess, in the past the push operation was accompanied with a pop and the reverse order was correct. Now it has changed somehow to a queue like thing and the reversed order got false, as a side effect. (Somehow here means, I have no time to verify how that happened...) Stephan
