Il 04/07/2013 14:38, Marc Zyngier ha scritto: > Sent v2 with fixes. If you're pleased with it, do you want another pull > request? Or will you just pick that patch? Since it would be a fast forward, I can (and did) just pick that patch. Paolo