[pkg-cinnamon] Bug#837104: marked as done (cinnamon: Add icon to desktop from the menu doesn't work)

[Debian Bug Tracking System]

Your message dated Tue, 29 Aug 2017 16:25:43 +0200
with message-id <29b3f750-a6c8-ee1f-258b-d7ea55ed5b4b at tiscali.it>
and subject line Close fixed bug
has caused the Debian Bug report #837104,
regarding cinnamon: Add icon to desktop from the menu doesn't work
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.)


-- 
837104: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837104
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: John Kirk <john.kirk at vfemail.net>
Subject: cinnamon: Add icon to desktop from the menu doesn't work
Date: Thu, 08 Sep 2016 22:23:16 +0300
Size: 7259
URL: <http://lists.alioth.debian.org/pipermail/pkg-cinnamon-team/attachments/20170829/394e509e/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Fabio Fantoni <fantonifabio at tiscali.it>
Subject: Close fixed bug
Date: Tue, 29 Aug 2017 16:25:43 +0200
Size: 7973
URL: <http://lists.alioth.debian.org/pipermail/pkg-cinnamon-team/attachments/20170829/394e509e/attachment-0001.mht>