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