Yeah we have some now ageing CentOS 7 crap to clear up. The obvious choice was CentOS 8 but that is now uncertain. I’m glad I was too busy to take this on earli

Yeah we have some now ageing CentOS 7 crap to clear up. The obvious choice was CentOS 8 but that is now uncertain. I’m glad I was too busy to take this on earlier in the year.