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