It turns out there was already an RM bug filed:

  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969975 

I will merge the duplicate I created into it:

  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971730

Reply via email to