id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release 7197,Remove gzip stuff?,Martin,robert_martin,"In [ticket:7037] is an (untested) patch to remove the (de-) compression feature of the plugin. ''Background:'' It is not clear, why the plugin does this, because Dia already supports transparent (de-) compression of its files. Removing this needless code would enhance maintainability.",enhancement,closed,normal,DiaVisViewPlugin,normal,fixed,,,0.11