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

--- Comment #4 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to John Dong from comment #3)
> ping ?

You posted the bug after the close of business on Friday (end of the week) and
the next week is just starting now on Monday. Europe is waking up now and the
US hasn't yet. Please wait.

Reply via email to