Hi Bastien On Sat, Mar 1, 2014 at 12:13 PM, Bastien <b...@gnu.org> wrote: > I see. The following patch fixes it but it's just a quick try, > I need to review possible side-effects more carefully. In the > meantime, if you can confirm it works for you, that'd help.
The patch works, thank you. I'll continue to use it. Michael
