On Fri, Oct 2, 2015 at 10:37 AM, martin rudalics <rudalics@gmx.at> wrote:

> Obviously Andy encountered it when filing bug#16047. And I could swear

> that I too saw it once.

Curiouser and curiouser. Why is it so persistent for me and non-repeatable for both of you? Hmm...

> But I hardly ever bootstrap.

Well, I used to do it daily with no problem. But it's been more than a year, and now I've reinstalled from scratch all my building environment.

Thanks,

Juanma