On 10/8/18 8:22 PM, Martin Sebor wrote: > Ping: https://gcc.gnu.org/ml/gcc-patches/2018-05/msg01528.html > > I will go ahead and commit this as obvious this week if there > are no objections. Go ahead.
Jeff
On 10/8/18 8:22 PM, Martin Sebor wrote: > Ping: https://gcc.gnu.org/ml/gcc-patches/2018-05/msg01528.html > > I will go ahead and commit this as obvious this week if there > are no objections. Go ahead.
Jeff