Marek Polacek Tue, 06 Aug 2019 09:03:21 -0700
Can Jon's patch go in now? https://gcc.gnu.org/ml/gcc-patches/2019-07/msg00987.html
Marek