Bug#852935: marked as done (RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel)
Your message dated Sun, 18 Jun 2017 10:20:16 +0000
with message-id <E1dMXJY-0005fR-EK@quantz.debian.org>
and subject line closing RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel
has caused the Debian Bug report #852935,
regarding RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel
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@bugs.debian.org
immediately.)
--
852935: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852935
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel
- From: "Jonathan Carter (highvoltage)" <jcarter@linux.com>
- Date: Sat, 28 Jan 2017 13:23:58 +0200
- Message-id: <8a4db27d-9656-8c4d-3056-c1c4d93a4b0a@linux.com>
Package: sponsorship-requests
Severity: wishlist
Dear mentors,
I am looking for a sponsor for my package
"gnome-shell-extension-trash":
* Package name : gnome-shell-extension-dash-to-panel
Version : 3-1
Upstream Author : Jason DeRose
* URL : https://github.com/jderose9/dash-to-panel
* License : GPL-2
Programming Lang: JavaScript
Description : moves the dash into the gnome main panel so that the
application launchers and system tray are combined into a single panel
It builds the following binary package:
gnome-shell-extension-dash-to-panel - combines the dash and the GNOME
main panel into a single panel
To access further information about this package, please visit the
following URL:
https://mentors.debian.net/package/gnome-shell-extension-dash-to-panel
Alternatively, one can download the package with dget using this command:
dget -x
https://mentors.debian.net/debian/pool/main/g/gnome-shell-extension-dash-to-panel/gnome-shell-extension-dash-to-panel_3-1.dsc
You can also find me (highvoltage) on #debian-mentors.
Thanks for your time and patience!
-Jonathan
--- End Message ---
--- Begin Message ---
- To: 852935-done@bugs.debian.org
- Subject: closing RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel
- From: Bart Martens <bartm@quantz.debian.org>
- Date: Sun, 18 Jun 2017 10:20:16 +0000
- Message-id: <E1dMXJY-0005fR-EK@quantz.debian.org>
Package gnome-shell-extension-dash-to-panel has been removed from mentors.
--- End Message ---
Reply to: