Hello,

I would like to ping for the patch I submitted at <https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00653.html>. Thank you in advance!
--
Pierre-Marie de Rodat

Reply via email to