id	summary	reporter	owner	description	type	status	component	version	severity	resolution	keywords	cc	stage	has_patch	needs_docs	needs_tests	needs_better_patch	easy	ui_ux
12981	Don't use tabs for indentation	Martin v. Löwis	nobody	r12471 and r12486 introduced some tabs. This patch replaces them with spaces.		closed	Uncategorized	dev		fixed			Ready for checkin	1	0	0	0	0	0