Denis Khalikov Sun, 23 Jul 2017 10:59:02 -0700
Hello, this is a ping for that patch https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00022.html
Thanks.