On 01/09/2017 04:12 PM, Jakub Jelinek wrote:
Was ?

Ok with that change.

        Jakub

Thanks for review, installed as r244227.

I've finished testing for both active branches, may I install the patch?

Martin

Reply via email to