id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,blockedby,blocking,branch_state,votes 1686,[PATCH] mc.ext.in patches for DVI and DJVU from Debian,zaytsev,slavazanko,"1) Use catdvi instead of dvi2tty and improve code 2) Add djvu support Thanks to Denis Briand.",task,closed,major,4.8.7,mc-core,master,fixed,,,,,merged,committed-master