On Tue, Jan 10, 2017 at 02:32:07PM +0100, Martin Liška wrote: > 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?
Ok.
Jakub
