Processed: update bug statuses
Processing commands for control@bugs.debian.org:
> limit source debian-policy
Limiting to bugs with field 'source' containing at least one of 'debian-policy'
Limit currently set to 'source':'debian-policy'
> user debian-policy@packages.debian.org
Setting user to debian-policy@packages.debian.org (was spwhitton@spwhitton.name).
> usertag 542288 = normative proposal
Usertags were: normative.
Usertags are now: normative proposal.
> usertag 846970 = normative discussion
Usertags were: normative.
Usertags are now: normative discussion.
> usertag 906286 = normative proposal
There were no usertags set.
Usertags are now: proposal normative.
> usertag 907051 = normative proposal
There were no usertags set.
Usertags are now: normative proposal.
> usertag 906949 = normative discussion
There were no usertags set.
Usertags are now: normative discussion.
> usertag 906910 = informative discussion
There were no usertags set.
Usertags are now: informative discussion.
> usertag 905453 = normative proposal
There were no usertags set.
Usertags are now: proposal normative.
> usertag 904729 = normative discussion
There were no usertags set.
Usertags are now: normative discussion.
> usertag 904608 = normative
There were no usertags set.
Usertags are now: normative.
> usertag 889820 = normative discussion
There were no usertags set.
Usertags are now: normative discussion.
> usertag 902612 = normative proposal
There were no usertags set.
Usertags are now: proposal normative.
> usertag 901437 = informative
There were no usertags set.
Usertags are now: informative.
> tag 901437 + patch
Bug #901437 [debian-policy] Add footnote warning readers that sometimes shared libaries are not coinstallable
Added tag(s) patch.
> usertag 890946 = normative discussion
There were no usertags set.
Usertags are now: normative discussion.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
890946: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890946
901437: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901437
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: