Processed: Re: Bug#877023: debian-policy: No section numbers in policy.txt.gz
Processing control commands:
> forcemerge 872868 877023
Bug #872868 [debian-policy] Plain text output format lacks section numbering
Bug #877023 [debian-policy] debian-policy: No section numbers in policy.txt.gz
Severity set to 'normal' from 'important'
Merged 872868 877023
--
872868: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872868
877023: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877023
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: