On Thu, 5 Sep 2019 at 12:21, Martin Liška <mli...@suse.cz> wrote: > > 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?
To be clear, I wasn't objecting to installing the patch now, just asking whether it would be possible to revert it later if needed. If installing it is a prerequisite for major changes that will happen soon, then reverting it would be difficult. If that's not the case, it seems fine to remove -frepo now.
