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

Reply via email to