id,summary,reporter,owner,description,type,status,priority,component,version,resolution,keywords,cc,game 9130,TOOLS: fix comment,criezy,fingolfin,"{{{#!Markdown This is a small patch that fix a comment in gui/configuration.h for the tools. }}} {{{#!div style=""font-size: 75%"" Ticket imported from: !#2925825. Ticket imported from: patches/1235. }}}",patch,closed,normal,Tools,,,,,