Processed: Re: debian-policy: anchor issues in HTML version

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 616043 wishlist
Bug #616043 [debiandoc-sgml] debiandoc2html: <a name> anchors should enclose heading text
Severity set to 'wishlist' from 'minor'

> tags 616043 wontfix
Bug #616043 [debiandoc-sgml] debiandoc2html: <a name> anchors should enclose heading text
Added tag(s) wontfix.
> severity 613946 wishlist
Bug #613946 [debian-policy] debian-policy: anchor issues in HTML version
Severity set to 'wishlist' from 'minor'

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
613946: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=613946
616043: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=616043
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems