Your message dated Fri, 11 Sep 2020 20:58:05 -0700
with message-id <[email protected]>
and subject line Re: Bug#969937: Removing packages doesn't "Fix" them
has caused the Debian Bug report #969937,
regarding Removing packages doesn't "Fix" them
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.)
--
969937: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969937
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: bugs.debian.org
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743835
"Fixed in version 4.1-7+rm"
It really shouldn't say Fixed, but resolved, closed, etc.
--- End Message ---
--- Begin Message ---
On Wed, 09 Sep 2020, 積丹尼 Dan Jacobson wrote:
> Package: bugs.debian.org
>
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743835
> "Fixed in version 4.1-7+rm"
>
> It really shouldn't say Fixed, but resolved, closed, etc.
Bugs can be closed and/or not closed, but if they are marked as fixed in
a version, they are fixed.
What the BTS shows doesn't necessarily reflect reality, it's just a
state in the BTS.
--
Don Armstrong https://www.donarmstrong.com
Vimes hated and despised the privileges of rank, but they had this to
be said for them: At least they meant that you could hate and despise
them in comfort.
-- Terry Pratchett _The Fifth Elephant_ p111
--- End Message ---
