On Tue, Feb 11, 2014 at 11:10 AM, Bastien <bzg@gnu.org> wrote:

> Hi Mark,
>
> it has been fixed in the master branch by Rick, I've cherry-picked the
> change in the maint branch so that it will be part of the next minor
> release.
>
> Thanks,
>
>
Hi Bastien and Rick,

Thanks for the great support.

--
Mark