On Tue, Feb 20, 2018 at 01:12:08PM +0100, Hans de Goede wrote:

> I might just be looking at the wrong place and if so I'm sorry, but I
> don't see any (additional) fixes related to this here:

Seems to have got stuck somewhere, sorry - pushed now.