> On 15 May 2020, at 08:28, Julien Rouhaud <rjuju...@gmail.com> wrote: > On Fri, May 15, 2020 at 8:03 AM Michael Paquier <mich...@paquier.xyz> wrote:
>> Something like the attached is fine to take care of those warnings, >> but what's our current patching policy for this tool? > > The patch looks good to me. It looks like we already have custom > patches, so +1 to applying it. Shouldn't we try and propose it to upstream first to minimize our diff? cheers ./daniel
