On 07/09/2015 11:09, Peter Maydell wrote: > On 7 September 2015 at 06:12, Peter Crosthwaite > <crosthwaitepe...@gmail.com> wrote: >> Ping! > > ...you need to find somebody who thinks this should go via their tree. > Paolo?
Paolo has only 1277 unread emails, but should still try to send a pull request this week. Queuing this patch too. Paolo
