On 08.10.09 Mehdi Tibouchi (mehdi.tibouchi@normalesup.org) wrote: Hi Mehdi, > As suggested by Frank Küster, the attached trivial patch fixes the > problem. It touches 4 lines, so should be easy enough to review. > > Thanks for committing at your earliest convenience. > I applied the patch for testing and found out that it re-introduces #487974 . I'm afraid we can't apply it. Hilmar -- sigmentation fault