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