On Tue, Sep 10, 2013 at 11:42:19AM +0200, Michael Schutte wrote: > You're right, and I'm afraid a removal does seem like the only feasible > option to me.
Request filed as #722884. Michael -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
