No objections to this proposal have been recorded or submitted. I am proceeding with the removal request. A bug was opened for this purpose, see #900463 <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=900463>.
-- Teus Benschop [email protected] 0318 712046
