Borislav Petkov <bp@alien8.de> writes:> On Sun, Apr 29, 2018 at 09:44:00PM -0700, Dave Hansen wrote:>> The loss of the GCC support is definitely a bummer.>> https://gcc.gnu.org/ml/gcc-patches/2018-05/msg00027.html>> Will go into gcc9.So we should see this in a released version of gcc in about a year?Eric