Hi, thanks for your report - this is actually already covered by [1] which I just now realized had a bad title saying 12.0.0 instead of 12.0.5 - I fixed that by now.
Therefore I'm merging this bug here with [1]. Current state is that it is already fixed in experimental and was just uploaded to unstable. [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1011633 -- Christian Ehrhardt Senior Staff Engineer, Ubuntu Server Canonical Ltd
