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
13182	Remove useless whitespaces in JSON dump with indent option	Stephane Raimbault	martmatwarne	"When a JSON dump is done with the indent option, all lines are terminated by a whitespace and a newline.
The trailing whitespace is useless, it increases the file size and emits a warning in my editor and git.

The goal of my patch is to remove these whitespaces (specific to the JSON serializer)."	Cleanup/optimization	closed	Core (Serialization)	dev	Normal	fixed		kmike84@… charette.s@… martmatwarne	Accepted	1	0	0	1	1	0