On Wed, 5 Jul 2017, Olivier Hainque wrote:

> Hello,
> 
> Ping for patch proposed here:
> https://gcc.gnu.org/ml/gcc-patches/2017-06/msg00579.html

This patch is OK.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to