id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	parents
478	Recover and reset theme on wiki.mediagoblin.org	joar		"The theme we had on wiki.mediagoblin.org is not anymore, I hear it is because of a !MediaWiki update.

I think we should investigate how to reapply it on the updated !MediaWiki instance."	defect	closed	minor		infrastructure	fixed		Jef van Schendel Amirouche