id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
3703	Einige gnome-shell-extension-Pakete installieren	Rüdiger Kupper	Rüdiger Kupper	"Gibt es als Paket in den Ubuntu-Quellen:
gnome-shell-extension-log-out-button"	Verbesserung	closed	bald erledigen	Image »Jovialer Jochen«	Software: Ubuntu	beeinträchtigt den Unterricht einiger Lehrer	erledigt