On Thu, Jan 31, 2019 at 05:09:09PM +0100, Michael Banck wrote:
> Sorry, I didn't look at it during that (November) commitfest cause it
> was submitted late, and then forgot about it.
>
> I think the changes are fine and I've marked it Ready for Committer.
Agreed, so committed.
--
Michael