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