On 2026-05-07 14:52, Shengjing Zhu wrote:
Commit 32ac3aa6ac8f0dc9a240611a3696c0e5510b841d looks like not trivial to revert as a patch.Maybe we should wait for 2.15.0.0?
Thank you for having a look at this. Waiting for 2.15 sounds like a reasonable idea.
Kind regards Markus

