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
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