Re: Wdeprecated-copy on system type

[Jonathan Wakely]

On Thu, 28 Jun 2018 at 12:49, Jonathan Wakely wrote:
> Yes, please report it to our bugzilla.

Ah, I've just seen https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86342 - thanks!