Processing commands for control@bugs.debian.org: > severity 756721 wishlist Bug #756721 [tracker.debian.org] tracker.debian.org: Please use same font size as in the PTS. Severity set to 'wishlist' from 'normal' > thanks Stopping processing here. Please contact me if you need assistance. -- 756721: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=756721 Debian Bug Tracking System Contact owner@bugs.debian.org with problems