Comparing builds

Builds solo5@2022-12-16 11:02:57Z on ubuntu-18.04 and solo5@2022-12-17 12:06:56Z on ubuntu-18.04