On 06/05/2013 03:52 PM, Florian Weimer wrote: > I noticed that TeXmacs-1.0.7.18-1.fc18 ships /usr/share/mime/types and > similar files which are usually auto-generated by shared-mime-info. Is > this a bug in TeXmacs? Bastien Nocera confirmed it's a bug, so I filed 973089. -- Florian Weimer / Red Hat Product Security Team