Processing commands for cont...@bugs.debian.org:

> fixed 895767 sphinx/1.7.2-3
Bug #895767 [python3-sphinx] python3-sphinx: missing dependency on 
python3-setuptools
Marked as fixed in versions sphinx/1.7.2-3.
> close 895767
Bug #895767 [python3-sphinx] python3-sphinx: missing dependency on 
python3-setuptools
Marked Bug as done
> severity 895738 serious
Bug #895738 {Done: Dmitry Shachnev <mity...@debian.org>} [python3-sphinx] 
python3-sphinx: missing dependency on python3-setuptools
Severity set to 'serious' from 'important'
> merge 895738 895767
Bug #895738 {Done: Dmitry Shachnev <mity...@debian.org>} [python3-sphinx] 
python3-sphinx: missing dependency on python3-setuptools
Bug #895767 {Done: Dmitry Shachnev <mity...@debian.org>} [python3-sphinx] 
python3-sphinx: missing dependency on python3-setuptools
Merged 895738 895767
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
895738: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895738
895767: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895767
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to