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.
--
Michael