On 7/9/25 3:11 AM, Robin Dapp wrote:
Yea, it's happened with a couple of mine recently, including one yesterday. If it's not picked up when Paul-Antoine posts an update, then I'll throw it into my system for some degree of pre-commit testing.Also, seems like the CI picked up the patch but didn't run it?
jeff