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.