https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82635
--- Comment #14 from Andreas Tobler <andreast at gcc dot gnu.org> --- The gcc5 branch is closed, so I can not commit there. In the ports tree we're on gcc6 as default gcc. We still can build gcc5. I certainly can talk to Gerald to make an exception or whatever and patch the gcc5 port.
