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