Indeed I reported this to Debian a while ago, and it got fixed there. But unfortunately we didn't merge again after that.
Indeed I reported this to Debian a while ago, and it got fixed there. But unfortunately we didn't merge again after that.