Processing commands for cont...@bugs.debian.org: > user debian-pol...@packages.debian.org Setting user to debian-pol...@packages.debian.org (was ple...@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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.132062783221241.transcr...@bugs.debian.org
