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