https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89358
--- Comment #23 from Roger Orr <rogero at howzatt dot demon.co.uk> --- That's good to hear -- thank you very much!
rogero at howzatt dot demon.co.uk Thu, 16 Jan 2020 15:38:46 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89358
--- Comment #23 from Roger Orr <rogero at howzatt dot demon.co.uk> --- That's good to hear -- thank you very much!