Hi Moritz,
Moritz Mühlenhoff wrote:
> Sounds good, removing it entirely is fair enough. Are you filing an RM
> bug? Otherwise I can do it as well.
Will do, but want to wait at least a few days to allow upstream to
comment. Otherwise I'd probably already done it.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, https://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
