Thanks for the patch and reminder, committed in r1855982. On Thu, Mar 21, 2019 at 5:48 AM pgajdos <pgaj...@suse.cz> wrote: > > On Tue, Jan 29, 2019 at 11:15:04AM +0100, pgajdos wrote: > > Hello, > > > > I propose following patch, as PR39730 was fixed recently. > > What do you think about the patch? Should it be amended somehow? > > Thanks! > Petr
-- Eric Covener cove...@gmail.com