0002366: Update gnome-shell extensions in kali-dev

ID	Project	Category	View Status	Date Submitted	Last Update

0002366	Kali Linux	Tool Upgrade Request	public	2015-06-30 13:21	2018-06-09 19:24

Reporter	rhertzog	Assigned To	sbrun
Priority	normal	Severity	minor	Reproducibility	always
Status	resolved	Resolution	fixed
Product Version	kali-dev
Fixed in Version	kali-dev

Summary	0002366: Update gnome-shell extensions in kali-dev
Description	The following source packages need to be updated/reviewed for GNOME Shell 3.16 in kali-dev: gnome-shell-extensions gnome-shell-extension-dashtodock gnome-shell-extension-easyscreencast gnome-shell-extension-workspacestodock gnome-shell-extension-proxyswitcher gnome-shell-extension-refreshwifi This is currently blocking the migration of GNOME Shell 3.16 to kali-rolling.

sbrun 2015-07-06 14:10 manager ~0003474	gnome-shell-extensions: updated to 3.16.2-1kali1 gnome-shell-extension-dashtodock: updated to 46-0kali1 compatible with gnome-shell 3.16 gnome-shell-extension-easyscreencast: updated to 0.9.7.1-0kali1 compatible with gnome-shell 3.16 gnome-shell-extension-workspacestodock: updated to 29-0kali1 compatible with gnome-shell 3.16 the two other extensions were already compatible with gnome-shell 3.16

Date Modified	Username	Field	Change
2015-06-30 13:21	rhertzog	New Issue
2015-06-30 13:21	rhertzog	Status	new => assigned
2015-06-30 13:21	rhertzog	Assigned To	=> sbrun
2015-07-06 14:10	sbrun	Note Added: 0003474
2015-07-06 14:10	sbrun	Status	assigned => resolved
2015-07-06 14:10	sbrun	Resolution	open => fixed
2015-07-06 14:10	sbrun	Fixed in Version	=> kali-dev
2021-05-31 13:37	rhertzog	Category	Tool Upgrade => Tool Upgrade Request