> On 15 May 2020, at 08:28, Julien Rouhaud <rjuju123@gmail.com> wrote:
> On Fri, May 15, 2020 at 8:03 AM Michael Paquier <michael@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