Leo Famulari <leo@famulari.name> writes:

> On Sun, Mar 22, 2020 at 03:22:44PM +0100, Marius Bakke wrote:
>> In any case LGTM, too!
>
> Thanks for the review! Pushed as 268efd97c255d75ac488c163ff1b8c66c6bcb2b6

Closing this bug, as I think the patches have been merged.