Tomas Volf <~@wolfsden.cz> writes:

> Reviewed-by: Tomas Volf <~@wolfsden.cz>

Thanks both, I've pushed this to master as
db523cfaa834ac9778f436e7f94647508733c0a1.

Chris