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