Your message dated Sun, 30 Sep 2018 10:19:59 +0000
with message-id <e1g6ypt-00072y...@quantz.debian.org>
and subject line closing RFP: cream-hotkey-manager -- Managing global hotkeys
with the Cream Desktop Environment
has caused the Debian Bug report #682503,
regarding RFP: cream-hotkey-manager -- Managing global hotkeys with the Cream
Desktop Environment
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 ow...@bugs.debian.org
immediately.)
--
682503: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682503
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabr...@das-netzwerkteam.de>
* Package name : cream-hotkey-manager
Version : 0.1.1
Upstream Author : Sebastian Billaudelle <sbillaude...@googlemail.com>
* URL : http://cream-project.org
* License : GPL-2+
Programming Lang: Python
Description : Managing global hotkeys with the Cream Desktop Environment
The Cream Desktop Environment is a project working on a GTK+-based Desktop
Environment providing users a working environment following the KISS principle.
.
Your desktop shell should stay out of your way and support you in accomplishing
your everyday tasks. But unlike several other great projects, the Cream Desktop
Environment also focusses on a modern graphics design and a rich user
experience based on latest technologies.
.
This package contains the Cream Desktop's global hotkey manager.
--- End Message ---
--- Begin Message ---
RFP 682503 has no visible progress for a long time, so closing.
--- End Message ---
