> LGTM, but please note that the patch was already approved by Jeff on
> 22th of June [1].
Sorry, I missed that... Thanks for pointing it out.
--
Eric Botcazou
On Mon, Jul 2, 2018 at 10:14 AM, Eric Botcazou 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
Ur
Ping for https://gcc.gnu.org/ml/gcc-patches/2018-06/msg01228.html
Thanks in advance.
--
Eric Botcazou