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
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