On Thu, 2022-01-13 at 23:31 +0100, Jouke Witteveen wrote: > I would like to draw attention to this patch again, since without > it the intcmp function is misbehaving.
Thanks for reminding me: somehow the original got deleted from my inbox without being applied. I've now applied it to my Git repo and will push shortly.
