Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > limit package debian-policy Limiting to bugs with field 'package' containing at least one of 'debian-policy' Limit currently set to 'package':'debian-policy'
> usertags 876075 = packaging There were no usertags set. Usertags are now: packaging. > severity 876075 important Bug #876075 [debian-policy] Anchors are non-unique in the single-HTML version Severity set to 'important' from 'normal' > thanks Stopping processing here. Please contact me if you need assistance. -- 876075: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876075 Debian Bug Tracking System Contact [email protected] with problems
