On 6/8/2026 9:35 PM, Jin Ma wrote:
THanks. And I've pushed the fix to the trunk. I'll take care of the bugzilla entry shortly.Hi Robin, LGTM! Great work on this one. Sorry for the delayed reply — things got a bit hectic on my end. Really appreciate your patience and the clean fix! Also, if any thread-related issues come up down the road, just throw them my way — I've been keeping up with the maintainer work on that front :)
jeff
