Bug#881184: marked as done (mutter doesn't upgrade due to dependency issue)

[Debian Bug Tracking System]

Your message dated Wed, 8 Nov 2017 17:40:47 +0100
with message-id <bb6553a4-bdb1-07f5-e7fb-c1fa31331f9d at debian.org>
and subject line Re: Bug#881184: mutter doesn't upgrade due to dependency issue
has caused the Debian Bug report #881184,
regarding mutter doesn't upgrade due to dependency issue
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 owner at bugs.debian.org
immediately.)


-- 
881184: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881184
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Gary Dale <gary at extremeground.com>
Subject: mutter doesn't upgrade due to dependency issue
Date: Wed, 08 Nov 2017 10:05:13 -0500
Size: 4107
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20171108/1e754d17/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Michael Biebl <biebl at debian.org>
Subject: Re: Bug#881184: mutter doesn't upgrade due to dependency issue
Date: Wed, 8 Nov 2017 17:40:47 +0100
Size: 5065
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20171108/1e754d17/attachment-0001.mht>