On Jun 11, 2020, at 7:28 AM, Martin Jambor <mjam...@suse.cz> wrote: > > On Tue, Jun 09 2020, Mike Stump wrote: >> I think I'd prefer the fix on the other side, if reasonable. I'd give >> them some time to see about a fix there before selecting this patch. > > given Alexandre's email, are you OK with the patch?
Yeah, if that's the change dumpbase is going, then we can follow along with it. Ok.