Thanks guys!
On Aug 5, 2015 7:34 AM, "Bastien Guerry" <bzg@gnu.org> wrote:

> I've released 8.3.1 with this fix.
>
> Thanks,
>
> --
>  Bastien
>