> On 21 Feb 2022, at 16:17, Andrew Dunstan <andrew(at)dunslane(dot)net> wrote:
> Looks OK.
Thanks, pushed.
--Daniel Gustafsson https://vmware.com/