id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
4146	Shared-Memory-Größe von Redis anpassen	Rüdiger Kupper	Rüdiger Kupper	Ist derzeit wohl recht niedrig eingestellt -> prüfen.	Verbesserung	reopened	bei Gelegenheit	Nextcloud: Optimierungen	Webdienst: Kepler-Cloud	beeinträchtigt keinen Unterricht