On Tue, May 22, 2012 at 10:21:43AM +0200, Paolo Bonzini wrote: > Ping? Sorry, I had been lost in a pile of work and then lost my access credentials for the repository. I've applied it now. Thanks a lot for the work! -- To unsubscribe from this list: send the line "unsubscribe target-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
