Processed: Re: Bug#637614: §9.10: Do not recommend to call install-docs, as it is triggered.
Processing commands for control@bugs.debian.org:
> user debian-policy@packages.debian.org
Setting user to debian-policy@packages.debian.org (was plessy@debian.org).
> 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 637614 + normative
Bug#637614: §9.10: Do not recommend to call install-docs, as it is triggered.
There were no usertags set.
Usertags are now: normative.
> tags 637614 + patch
Bug #637614 [debian-policy] §9.10: Do not recommend to call install-docs, as it is triggered.
Added tag(s) patch.
> usertags 637614 + seconded
Bug#637614: §9.10: Do not recommend to call install-docs, as it is triggered.
Usertags were: normative.
Usertags are now: normative seconded.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
637614: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637614
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: