On 25/09/2018 16:52, Peter Maydell wrote:
> 
> Paolo, I'm assuming you want to take these patches via the
> memory tree ?

Yes, I can do that (I'll send the pull request either on Saturday or
Monday).

Paolo

Reply via email to