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 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html