>>> Ok to install the first two patches? (the third is just for reference) >> >> Ping? >> >> https://gcc.gnu.org/ml/gcc-patches/2018-07/msg01419.html > > OK for the middle-end parts, the Ada parts need separate approval > (maybe CC a maintainer).
Ok for the Ada part. Arno