Processed: user debian-policy@packages.debian.org, limit package to debian-policy, usertagging 876075 ...
Processing commands for control@bugs.debian.org:
> user debian-policy@packages.debian.org
Setting user to debian-policy@packages.debian.org (was spwhitton@spwhitton.name).
> 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 owner@bugs.debian.org with problems
Reply to: