id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
3391	"GNOME-Shell extension ""places menu"" für alle aktivieren"	Rüdiger Kupper	Rüdiger Kupper		Verbesserung	closed	bald erledigen	Image „Humane Henrike”	Software: Ubuntu	beeinträchtigt keinen Unterricht	erledigt