Martin Liška Thu, 05 Sep 2019 04:22:08 -0700
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