id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
2874	Pomodoro-indicator durch gnome-shell-pomodoro ersetzen	Rüdiger Kupper	Rüdiger Kupper	"Sofern wir die GNOME-Shell benutzen.
Siehe #2873.
Nach dem Löschen von pomodoro-indicator auch das PPA deaktivieren."	Verbesserung	closed	bei Gelegenheit	Image „Humane Henrike”	Software: Ubuntu	beeinträchtigt keinen Unterricht	im Image