Denis Khalikov Mon, 14 Aug 2017 06:07:55 -0700
Hello, this is a ping for that patch https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00022.html
Thanks.