On 9/5/19 1:09 PM, Richard Biener wrote:
> So, let's just remove it now?

I'm all for that. May I install the patch?

Martin

Reply via email to