https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79341
--- Comment #26 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- (We cannot upgrade the kernel before end of this or beginning of next week.)
vogt at linux dot vnet.ibm.com Wed, 08 Feb 2017 06:04:15 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79341
--- Comment #26 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- (We cannot upgrade the kernel before end of this or beginning of next week.)