On Fri, Apr 21, 2023 at 08:27:22PM +0200, Arsen Arsenović wrote: > Hi Gaius, > > Gaius Mulley <gaiusm...@gmail.com> writes: > > > yes certainly this is fine. lgtm. Thanks for spotting and the patch > > Sure. Will push to master and wait for a RM to weigh in on 13.
Doesn't fix any regression, so not ok for 13.1 and I wouldn't bother for 13.2 either. Jakub