Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > clone 613946 -1 -2 Bug#613946: debian-policy: anchor issues in HTML version Bug 613946 cloned as bugs 616042-616043.
> retitle -1 debiandoc2html: <link> titles should not have embedded tags Bug #616042 [debian-policy] debian-policy: anchor issues in HTML version Changed Bug title to 'debiandoc2html: <link> titles should not have embedded tags' from 'debian-policy: anchor issues in HTML version' > retitle -2 debiandoc2html: <a name> anchors should enclose heading text Bug #616043 [debian-policy] debian-policy: anchor issues in HTML version Changed Bug title to 'debiandoc2html: <a name> anchors should enclose heading text' from 'debian-policy: anchor issues in HTML version' > severity -1 normal Bug #616042 [debian-policy] debiandoc2html: <link> titles should not have embedded tags Severity set to 'normal' from 'minor' > severity -2 minor Bug #616043 [debian-policy] debiandoc2html: <a name> anchors should enclose heading text Ignoring request to change severity of Bug 616043 to the same value. > reassign -1 debiandoc-sgml 1.2.20 Bug #616042 [debian-policy] debiandoc2html: <link> titles should not have embedded tags Bug reassigned from package 'debian-policy' to 'debiandoc-sgml'. Bug No longer marked as found in versions debian-policy/3.8.0.1. Bug #616042 [debiandoc-sgml] debiandoc2html: <link> titles should not have embedded tags Bug Marked as found in versions debiandoc-sgml/1.2.20. > reassign -2 debiandoc-sgml 1.2.20 Bug #616043 [debian-policy] debiandoc2html: <a name> anchors should enclose heading text Bug reassigned from package 'debian-policy' to 'debiandoc-sgml'. Bug No longer marked as found in versions debian-policy/3.8.0.1. Bug #616043 [debiandoc-sgml] debiandoc2html: <a name> anchors should enclose heading text Bug Marked as found in versions debiandoc-sgml/1.2.20. > usertags 613946 + packaging Bug#613946: debian-policy: anchor issues in HTML version There were no usertags set. Usertags are now: packaging. > quit 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 -2: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=-2 616042: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=616042 -1: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=-1 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
