On Wed, Aug 31, 2016 at 1:41 PM, Pierre-Marie de Rodat <dero...@adacore.com> wrote: > Hello, > > Ping for the patch submitted at > <https://gcc.gnu.org/ml/gcc-patches/2016-08/msg01314.html>. Also, here’s the > update that Trevor suggested.
Ok. Thanks, Richard. > Thanks! > > -- > Pierre-Marie de Rodat