On Fri, Oct 18, 2019 at 12:29:54PM +0200, Ulf Hansson wrote: [...] > > Technically we are not fixing anything; it is not such a big > > change, we need to allocate one entry more and update the array > > indexing. > > Okay, let me do the change - and it seems like it doesn't even have to > be sent as a fix then. Right? No it does not (even though I agree that's misleading and "fixing" it for v5.4 would not hurt either). Lorenzo