id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
3226	einige GNOME-Shell-Erweiterungen aktivieren	Rüdiger Kupper	Rüdiger Kupper	z.B. Places und removable Media?	Verbesserung	closed	bald erledigen	Schuljahr 2018/19	Software: Ubuntu	beeinträchtigt keinen Unterricht	erledigt