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