On 03/03/20 18:35, Peter Maydell wrote: > Advance notice: I would like to put these into a pull > request at the end of this week. This is your opportunity > to say "that would be a bad idea", "I need X more time > to review it", etc :-) >
On the contrary, it's a great idea. :) Paolo
