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

--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> ---
Pushed after OK from Jerry Delisle.

Closing with thanks, David, for the contribution.

Paul

Reply via email to