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

--- Comment #2 from Simon Sobisch <simonsobisch at gnu dot org> ---
ping @jklowden - I _guess_ you've fixed that issue

Reply via email to