severity 908670 important unblock 908345 by 908670 thanks
> I think this solution makes the least effort for all involved parties > and is in line with the practical use of this package on armhf. I went ahead and filed the removal requesthttps://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908920
The ftp masters have now actioned the removal bug, adjusting severity and blocks accordingly.