Comment # 11 on bug 1234302 from Stefan Dirsch

No. I will try to apply the patch later or tomorrow, so we'll have the fix as
soon as possible.