On Sat, 6 Nov 2021 14:48:15 +0100 Bastian Germann <b...@debian.org> wrote:
There is an equivalent patch on the current issue tracker. It will probably not get any attention by upstream, so if you want it to be integrated please push it.
This went to the wrong bug.
