Bug#852935: RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel

To: "Jonathan Carter (highvoltage)" <jcarter@linux.com>,852935@bugs.debian.org
Subject: Bug#852935: RFS: gnome-shell-extension-dash-to-panel/3-1 ITP: 852164 -- combines the dash and the GNOME main panel into a single panel
From: Tobias Frost <tobi@frost.de>
Date: Sat, 28 Jan 2017 14:11:15 +0100
Message-id: <[🔎] 4BC504F3-7A42-4E78-86AC-5DACB853FD02@frost.de>
Reply-to: Tobias Frost <tobi@frost.de>, 852935@bugs.debian.org
In-reply-to: <[🔎] 8a4db27d-9656-8c4d-3056-c1c4d93a4b0a@linux.com>
References: <[🔎] 8a4db27d-9656-8c4d-3056-c1c4d93a4b0a@linux.com>

Control: owner -1 !

Will take a look later
-- 
Tobias Frost
GPG fingerprint: 13C9 04F0 CE08 5E7C 3630 7985 DECF 849A A635 7FB7

Reply to:

References:
- Bug#852935: 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>