https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77420
--- Comment #9 from Rolf Sander <m...@rolf-sander.net> --- The status says "RESOLVED FIXED", what does this mean? When will the bug fix be applied? I'm using Linux Mint 18, and so far there was no new version in the update manager :-(