https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60560
--- Comment #2 from Jürgen Reuter <juergen.reuter at desy dot de> --- This is still present in the 10.0 trunk. How difficult is that to fix?
juergen.reuter at desy dot de Thu, 02 May 2019 01:44:46 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60560
--- Comment #2 from Jürgen Reuter <juergen.reuter at desy dot de> --- This is still present in the 10.0 trunk. How difficult is that to fix?