https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94788

--- Comment #26 from Jürgen Reuter <juergen.reuter at desy dot de> ---
At least there is no time pressure at the moment ...

Reply via email to