Fedora release 20 (Heisenbug)
