Bug#931585: marked as done (gnome: Executed applications dock lost)

Sun Oct 20 12:06:03 BST 2019

Your message dated Sun, 20 Oct 2019 07:03:13 -0400
with message-id <CAAajCMbGMM7_oGVwMLK=Mw5_0SWzjNbzmyJx_b_ZKUk2WjUnAA at mail.gmail.com>
and subject line Re: Bug#931585: gnome: Executed applications dock lost
has caused the Debian Bug report #931585,
regarding gnome: Executed applications dock lost
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.)

-- 
931585: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931585
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Charles BLANC ROLIN <charles at woundride.com>
Subject: gnome: Executed applications dock lost
Date: Mon, 8 Jul 2019 00:47:10 +0200
Size: 12843
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20191020/0065463b/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Jeremy Bicha <jbicha at debian.org>
Subject: Re: Bug#931585: gnome: Executed applications dock lost
Date: Sun, 20 Oct 2019 07:03:13 -0400
Size: 4093
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20191020/0065463b/attachment-0001.mht>