https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79341
--- Comment #29 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- $ uname -s -r Linux 4.2.0-20151029.0.65fcf15.5a12af1.fc20.s390xperformance I'm quite sure we had a working kernel on that machine at some time because I believe to remember that I'd been the first one who was bitten by that kernel bug. Anyway, the machine is very busy at the moment, so the upgrade has to wait for a couple of days.
