On Fri, Mar 10, 2023 at 01:41:07PM +0530, Sravan Kumar wrote: > I have attached a patch that fixes the problem. Can you please review > if it makes sense to push this patch?
Indeed, reproduced here. I'll fix that in a bit.. -- Michael
signature.asc
Description: PGP signature
