2010/5/8 Ryan Rix <ry(a)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.