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

I've released 8.3.1 with this fix.

Thanks,

--
 Bastien