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. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.
