On Mon, Oct 22, 2018 at 12:09:41PM +0200, Daniel Gustafsson wrote: > I think your latter suggestion pretty much covers all we need, so updated the > patch with that too.
Both the patch and the suggestions made look good to me, so committed. -- Michael