id,summary,reporter,owner,description,type,status,priority,component,version,resolution,keywords,cc,game 8557,TeX typos,SF/polluks,fingolfin,"{{{#!Markdown Fixes a few typos in the doc... }}} {{{#!div style=""font-size: 75%"" Ticket imported from: !#1525407. Ticket imported from: patches/662. }}}",patch,closed,normal,Documentation,,,,,