On Tue, Feb 11, 2014 at 11:10 AM, Bastien <b...@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
