Subject: Re: bug#18745:
From: Juanma Barranquero <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked]
Date: Sun, 1 Nov 2015 19:29:50 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

On Sun, Nov 1, 2015 at 6:49 PM, Eli Zaretskii <[email-masked]> wrote:

> Yes, thanks.

OK, thanks. Installed. I'm re-closing this thread.

> It doesn't fail for me, even if I run the test many times.

That's interesting. I'll look into it.