On Apr 01, Simon Richter <sjr@debian.org> wrote: >Priority: optional It should have Priority: extra. -- ciao, Marco -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org