Hello, On Tue 13 Jun 2023 at 08:45PM +01, Luca Boccassi wrote: > That essentially means it's fine to use diversions and ship releases > using them, so that's exactly what will happen as per Murphy's law. > [...] I don't believe you've made any new arguments in the message to which I'm replying. Based on that, and the other activity this bug has seen, I don't think it would be premature for us to start gathering formal seconds of a version of your patch with my "should strongly prefer" wording substituted for one part of it. Would you like to prepare that patch, or shall one of Russ or I do so? -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature