On Wed, Feb 26, 2020 at 5:27 AM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 26/02/20 14:10, Vitaly Kuznetsov wrote: > > Nick Desaulniers <ndesaulniers@xxxxxxxxxx> writes: > > > >> (putting Paolo in To: field, in case email filters are to blame. > >> Vitaly, maybe you could ping Paolo internally?) > >> > > > > I could, but the only difference from what I'm doing right now would > > proabbly be the absence of non-@xxxxxxxxxx emails in To/Cc: fields of > > this email :-) > > > > Do we want this fix for one of the last 5.6 RCs or 5.7 would be fine? > > Personally, I'd say we're not in a great hurry and 5.7 is OK. > > I think we can do it for 5.6, but we're not in a great hurry. :) The > rc4 pull request was already going to be relatively large and I had just > been scolded by Linus so I postponed this, but I am going to include it > this week. No rush; soak time is good. -- Thanks, ~Nick Desaulniers