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