On Thu, Aug 9, 2018 at 6:30 PM Basil L. Contovounesios <contovob@tcd.ie>
wrote:

> Kaushal Modi <kaushal.modi@gmail.com> writes:
>
> Isn't this bug#32352?
>
>   https://debbugs.gnu.org/32352
>

Yes. It looks like the same issue.
-- 

Kaushal Modi