On Tue, May 30, 2017 at 04:16:15PM +0200, Theo Buehler wrote: > On Tue, May 30, 2017 at 03:39:50PM +0200, Ingo Schwarze wrote: > > Hi Anton, > > > > OK schwarze@ for the diff below (which, i think, is sufficient for > > commit in this case). > > I agree. This is good for commit. ok tb
Thanks, committed.
