Skip to content

Drop Ubuntu 18.04, add 20.04 and 22.04 support#1080

Merged
evgeni merged 1 commit intomasterfrom new-ubuntuSep 29, 2023

Commits

Commits on Sep 29, 2023