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

Reply via email to