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


Reply via email to