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. Paolo
