Comparing builds

Builds solo5-hvt@2022-11-15 10:17:46Z on ubuntu-18.04 and solo5-hvt@2022-11-12 10:17:04Z on ubuntu-18.04