Bastian Germann Wed, 06 Dec 2023 09:15:14 -0800
I am uploading a NMU with the given debdiff to DELAYED/10 in order to fix this.