On Sat, Nov 21, 2015 at 12:23 PM, martin rudalics <rudalics@gmx.at> wrote:

> And why does no one else have such problems?

I did, about a week ago, but it disappeared right  after the following
update from the repo.

Perhaps it is a gc Heisenbug, as Eli suggested. Compiler options and
whatnot would affect its visibility.