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