[pkg-cinnamon] Bug#801708: marked as done (cinnamon: Multimedia keys (play, pause, etc.) do not work)

[Debian Bug Tracking System]

Your message dated Sat, 20 May 2017 12:53:08 +0200
with message-id <20170520105229.2ozcwlrizkggmmtx at neoptolemo.gnuservers.com.ar>
and subject line Re: Bug#801708: cinnamon: Multimedia keys (play, pause, etc.) do not work
has caused the Debian Bug report #801708,
regarding cinnamon: Multimedia keys (play, pause, etc.) do not 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.)


-- 
801708: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801708
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Martijn van de Streek <martijn at vandestreek.net>
Subject: cinnamon: Multimedia keys (play, pause, etc.) do not work
Date: Tue, 13 Oct 2015 19:05:49 +0200
Size: 7718
URL: <http://lists.alioth.debian.org/pipermail/pkg-cinnamon-team/attachments/20170520/a73fbfc3/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Maximiliano Curia <maxy at gnuservers.com.ar>
Subject: Re: Bug#801708: cinnamon: Multimedia keys (play, pause, etc.) do not work
Date: Sat, 20 May 2017 12:53:08 +0200
Size: 4376
URL: <http://lists.alioth.debian.org/pipermail/pkg-cinnamon-team/attachments/20170520/a73fbfc3/attachment-0003.mht>