https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87145
--- Comment #14 from Jö <jorrit at jorrit dot de> --- Hmm, thinking about it. But it looks like Debian buster is going to release with 8.3 anyway as it is in freeze. And I don't think they're gonna update gcc in buster while it's stable. Which means we're going to have to live with that bug anyway until we can kill support for buster. I'm going to check back with my co-developers whether one of them needs this fixed particularly in gcc 8 (or 7). Though as long as none of them speaks up, lets assume we don't actually need it. But thanks for the offer anyway, and thanks for fixing it in gcc 9! For the record, we got bitten by it here: https://gitlab.dune-project.org/core/dune-geometry/issues/17
