On Fri, Oct 2, 2015 at 10:37 AM, martin rudalics <
address@hidden> 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