This removal was actually already approved by its maintainer in
https://bugs.debian.org/967455 message 19.

Thank you,
Jeremy Bícha

Reply via email to