I would like to ping for the updated patch, originally submitted at
<https://gcc.gnu.org/ml/gcc-patches/2017-05/msg02049.html>. Thank you in advance!

--
Pierre-Marie de Rodat

Reply via email to