matt335672 af6f777697 Update legacy OS from 18.04 to 20.04 ... Since Ubuntu 20.04 supports less i386 functionality than 18.04, it has been necessary to use a smaller set of compile options, resulting in less compile coverage.		2022-10-20 15:02:00 +01:00
..
workflows	Update legacy OS from 18.04 to 20.04	2022-10-20 15:02:00 +01:00