id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
141	synchronize changes made in wiki manual with manual in core repository	felix winkelmann	felix winkelmann	"The manual in the wiki has been heavily modified. These changes have to be merged into the manual of the core git repository, carefully avoiding moving any changes from the core back to the wiki that contain yet unreleased features.
"	defect	closed	major		documentation	4.2.x	fixed	manual wiki	Ivan Raikov