On Mon, Apr 09, 2018 at 09:36:40PM +0200, Magnus Hagander wrote:> Applied, and pushed this way.
OK, thanks for the commit.--Michael