On Fri, May 15, 2020 at 9:17 AM Daniel Gustafsson <daniel@yesql.se> wrote:
>
> > 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?
Good point, adding Piotr.