On Fri, 14 May 2021 at 00:27, Julien Rouhaud <rjuju...@gmail.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
