On Sun, Oct 15, 2017, 3:19 AM Paul Eggert

> Thanks for checking; closing the bug report.
>

Thanks. I had though already closed it by emailing to the -done address in
my last email.

I even received a bug-closing confirmation after that.

Is it that the bug got reopened automatically when Tino merged it with
another bug, and so it had to be re-closed?

> --

Kaushal Modi