On Sun, Jan 31, 2021 at 10:26:59PM +0200, Efraim Flashner wrote:
> Looks fine to me

Thanks for your review! Pushed as 85243d0d63e2219d0d376a541fa67efc24e6e2c8