Hi Michael, Michael Brand <michael.ch.br...@gmail.com> writes:
> 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. I've now applied this patch, thanks for testing it so far. -- Bastien
