On Sun, 2023-07-02 at 20:13 +0200, Tomas Vondra wrote:> FWIW I've pushed the fix prepared by James a couple days ago. Thanks for> the report!
Thanks, and sorry for being pushy.
Yours,Laurenz Albe