https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70718
--- Comment #1 from Alexey Neyman <stilor at att dot net> --- Ping? [trivial patch]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70718
--- Comment #1 from Alexey Neyman <stilor at att dot net> --- Ping? [trivial patch]