Fix CI after Ubuntu 20.04 discontinuation#19
Open
ByteHamster wants to merge 1 commit intobingmann:masterfrom
Open
Fix CI after Ubuntu 20.04 discontinuation#19ByteHamster wants to merge 1 commit intobingmann:masterfrom
ByteHamster wants to merge 1 commit intobingmann:masterfrom
