Comparing builds

Builds solo5-hvt@2022-11-15 10:17:46Z on ubuntu-18.04 and solo5-hvt@2022-11-13 10:35:07Z on ubuntu-18.04