GNOME Bugzilla – Bug 450543
GZip Compressed DVI support
Last modified: 2007-07-02 16:01:34 UTC
Hi, We got a Debian bug about support for GZip compressed DVI files; didn't seem too hard to add, so I'll provide a patch. Bye,
Created attachment 90537 [details] [review] Add support for GZip compressed DVI; with ChangeLog
Thanks a lot. Hm, we had this discussion before and there was a similar patch but I really wonder why the previous bug is closed. Let me reopen it again. *** This bug has been marked as a duplicate of 307087 ***