On Mon, Mar 16, 2015 at 06:47:15PM +0100, Michael Adam wrote: > Push/review appreciated. LGTM - pushed.