On Wed, Sep 17, 2025 at 11:01 AM Jeremy Bícha <[email protected]> wrote: > I think the Debian 13 change won't apply cleanly unless you > cherrypick the September 2 commit first.
Oops, I wasn't looking at your diff closely enough since you already included that. Thank you, Jeremy Bícha
