On Wed, Sep 21, 2022 at 10:21 AM Sebastian Ramacher <sramac...@debian.org> wrote: > Yes, that's all correct. But as you can see from the version graph at > the top of the bug report at https://bugs.debian.org/1011716, the > version in stable is not marked as fixed. There is no need to reopen > this bug report because it is still open in stable.
Each day is an opportunity to learn something new. :-) Looking forward to seeing the fix in the stable. Cheers.