On 07/07/2015 18:08, Peter Maydell wrote:
>> > Please ignore this pull request.
> ...but the 12-patch v2 pullreq is OK, yes?

Yes, that one is okay.

Paolo

Reply via email to