Hi Sergei,
When we prepared the fix, we were not aware that this would become an RC bug, so we didn't strive for a minimal fix.Okay. Then I'll open a bugreport with release.debian.org and ask if this not so minimal update can propagate to testing. If yes, I'll reupload it.
That sounds great, thanks for your help. :) Kind regards, Ralf
