On Mon, Jul 2, 2018 at 10:14 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > Ping for https://gcc.gnu.org/ml/gcc-patches/2018-06/msg01228.html > > Thanks in advance.
LGTM, but please note that the patch was already approved by Jeff on 22th of June [1]. [1] https://gcc.gnu.org/ml/gcc-patches/2018-06/msg01466.html Uros.
