On Wed, Oct 25, 2023, Like Xu wrote: > Emm, did we miss this little fix ? No, I have it earmarked, it's just not a priority because it doesn't truly fix anything. Though I suppose it probably makes to apply it for 6.8, waiting one more day to send PULL requests to Paolo isn't a problem.