2010/5/8 Ryan Rix <ry at n.rix.si>: > On Fri 7 May 2010 11:18:53 pm Arthur Pemberton wrote: >> Does anyone know when/if the fix mentioned in comment #3 three months >> ago will be hitting Fedora? > > We could probably get texmacs to use rpm_opt_flags, yup > > https://bugzilla.redhat.com/show_bug.cgi?id=228152 I don't understand how this relates. -- Fedora 11 (www.pembo13.com)