JuliaLang/julia — comment on commit 839d8747c40b9a396644e0bf3e5e594b5898e6e2
File:  line 0
By StefanKarpinski:

There are two different bugs here, actually. One occurred with this commit and was a weird Heisenbug. That disappeared with the second commit, however, which introduced a second, non-Heisenbug, which I suspect may be this. Looking into it...