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

--- Comment #3 from Tobias Schlüter <tobi at gcc dot gnu.org> ---
Thank you!  I would certainly have found the other bug had I put the right
keyword into the title of the PR myself ...

Reply via email to