This removal was actually already approved by its maintainer in https://bugs.debian.org/967455 message 19.
Thank you, Jeremy Bícha
This removal was actually already approved by its maintainer in https://bugs.debian.org/967455 message 19.
Thank you, Jeremy Bícha