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
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