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

--- Comment #15 from janus at gcc dot gnu.org ---
(In reply to paul.richard.tho...@gmail.com from comment #14)
> Would you be so good as to OK this patch to the list?

Sure, will do ...

Reply via email to