On Wed, Sep 17, 2025 at 11:01 AM Jeremy Bícha <jbicha at debian.org> 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