On Wed, May 4, 2016 at 4:23 PM, Pierre-Marie de Rodat <dero...@adacore.com> wrote: > Ping for the patch submitted at > <https://gcc.gnu.org/ml/gcc-patches/2016-01/msg01495.html>. It applies just > fine on the current trunk and still bootstrapps and regtests successfuly on > x86_64-linux. > > Thank you in advance,
Ok and sorry for the delay. Thanks, Richard. > -- > Pierre-Marie de Rodat
