[Pkg-julia-devel] Processed: tagging 781849, severity of 781849 is wishlist, reassign 781849 to sphinx-common

Debian Bug Tracking System owner at bugs.debian.org
Sun Apr 19 16:15:07 UTC 2015


Processing commands for control at bugs.debian.org:

> tags 781849 - patch fixed-upstream
Bug #781849 [python-sphinx-rtd-theme] Please, let dh_sphinxdoc use fonts-font-awesome and libjs-modernizr dependencies
Removed tag(s) fixed-upstream and patch.
> severity 781849 wishlist
Bug #781849 [python-sphinx-rtd-theme] Please, let dh_sphinxdoc use fonts-font-awesome and libjs-modernizr dependencies
Severity set to 'wishlist' from 'important'
> reassign 781849 sphinx-common
Bug #781849 [python-sphinx-rtd-theme] Please, let dh_sphinxdoc use fonts-font-awesome and libjs-modernizr dependencies
Bug reassigned from package 'python-sphinx-rtd-theme' to 'sphinx-common'.
No longer marked as found in versions sphinx-rtd-theme/0.1.6-1.
Ignoring request to alter fixed versions of bug #781849 to the same values previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
781849: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=781849
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-julia-devel mailing list