On Fri, 14 May 2021 at 00:27, Julien Rouhaud <rjuju123(at)gmail(dot)com> wrote:
>
> On Thu, May 13, 2021 at 08:06:18PM +0900, Michael Paquier wrote:
> > On Thu, May 13, 2021 at 08:20:36PM +1200, David Rowley wrote:
> > > Since there's no bug fix here, I thought that there's not much point
> > > in backpatching this.
> >
> > Indeed. I would not bother with a back-patch either.
> >
> > > Does anyone object to making this small change in master?
> >
> > No objections from here.
>
> +1 to both.
Thanks for the votes. Pushed.
David