On Fri, May 15, 2020 at 9:17 AM Daniel Gustafsson <[email protected]> wrote: > > > On 15 May 2020, at 08:28, Julien Rouhaud <[email protected]> wrote: > > On Fri, May 15, 2020 at 8:03 AM Michael Paquier <[email protected]> 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.
