#01 of #08: https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01971.html #02 of #08: https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01972.html #03 of #08: https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01974.html Need to reach some kind of closure on these, then I can start pinging the target maintainers for the rest of the bits... Jeff