On 6/7/19 5:13 PM, Jakub Jelinek wrote:
Ok for trunk?  Which one?

Thank you Jakub for the fix. I'm fine with both.

Martin

Reply via email to