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

Reply via email to