On 12 November 2018 at 14:46, Laurent Vivier <laur...@vivier.eu> wrote: > On 12/11/2018 15:39, Peter Maydell wrote: >> Ping? This got reviewed but hasn't made it to master... > > Do you want it in 3.1 too?
Well, it is a bugfix, and we haven't rolled rc1 yet, so I would default to yes, unless you'd rather defer it to 4.0. thanks -- PMM
