https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119106
Andre Vehreschild <vehre at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vehre at gcc dot gnu.org
--- Comment #5 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Harald, are you still on this?
