Processed: limit source to debian-policy, tagging 637614
Processing commands for control@bugs.debian.org:
> #debian-policy (3.9.3.0) UNRELEASED; urgency=low
> #
> # * Policy 9.10: No more recommend to call install-docs for doc-base.
> # Wording: Charles Plessy <plessy@debian.org>
> # Seconded: Robert Luberda <robert@debian.org>
> # Seconded: Raphael Hertzog <hertzog@debian.org>
> # Closes: #637614
> #
> limit source debian-policy
Limiting to bugs with field 'source' containing at least one of 'debian-policy'
Limit currently set to 'source':'debian-policy'
> tags 637614 + pending
Bug #637614 [debian-policy] §9.10: Do not recommend to call install-docs, as it is triggered.
Added tag(s) pending.
> 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: