Your message dated Fri, 8 Aug 2014 16:28:50 +0100
with message-id
<CAD=6czpz7gqhmqnk+_r_qdhssjrxxsc+fhoeutoeqh5y8xn...@mail.gmail.com>
and subject line Close #750612 - gnome-music: Unneeded build-dep on python3-dev
has caused the Debian Bug report #750612,
regarding gnome-music: Unneeded build-dep on python3-dev
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
750612: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750612
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnome-music
Version: 3.12.1-2
Severity: normal
No compiled python3 extensions are part of gnome-music, so build-dep on
python3-dev is not required. A build-dep on python3 is sufficient.
Having the build-dep be on python3-dev makes the package show up as possibly
needing a binNMU during python3 transitions (it doesn't) and makes each build
take longer since additional packages need to be installed.
--- End Message ---
--- Begin Message ---
version: 3.12.2.1-1
I'm closing this bug now since it was fixed with r41838.
thanks
regards
althaser
--- End Message ---
