[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: Re: Bug#872868: debian-policy: section numbers missing



Processing control commands:

> reassign -1 python3-sphinx
Bug #872868 [debian-policy] Plain text output format lacks section numbering
Bug #877023 [debian-policy] debian-policy: No section numbers in policy.txt.gz
Bug reassigned from package 'debian-policy' to 'python3-sphinx'.
Bug reassigned from package 'debian-policy' to 'python3-sphinx'.
No longer marked as found in versions debian-policy/4.1.0.0.
No longer marked as found in versions debian-policy/4.1.0.0.
Ignoring request to alter fixed versions of bug #872868 to the same values previously set
Ignoring request to alter fixed versions of bug #877023 to the same values previously set
> affects -1 debian-policy
Bug #872868 [python3-sphinx] Plain text output format lacks section numbering
Bug #877023 [python3-sphinx] debian-policy: No section numbers in policy.txt.gz
Added indication that 872868 affects debian-policy
Added indication that 877023 affects debian-policy
> tags -1 +upstream +fixed-upstream
Bug #872868 [python3-sphinx] Plain text output format lacks section numbering
Bug #877023 [python3-sphinx] debian-policy: No section numbers in policy.txt.gz
Added tag(s) upstream.
Added tag(s) upstream.
Bug #872868 [python3-sphinx] Plain text output format lacks section numbering
Bug #877023 [python3-sphinx] debian-policy: No section numbers in policy.txt.gz
Added tag(s) fixed-upstream.
Added tag(s) fixed-upstream.
> forwarded -1 https://github.com/sphinx-doc/sphinx/issues/3998
Bug #872868 [python3-sphinx] Plain text output format lacks section numbering
Bug #877023 [python3-sphinx] debian-policy: No section numbers in policy.txt.gz
Set Bug forwarded-to-address to 'https://github.com/sphinx-doc/sphinx/issues/3998'.
Set Bug forwarded-to-address to 'https://github.com/sphinx-doc/sphinx/issues/3998'.

-- 
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: