Merge pull request #4840 from ivaradi/remove-focal
authorMatthieu Gallien <matthieu_gallien@yahoo.fr>
Fri, 2 Sep 2022 09:36:53 +0000 (11:36 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Sep 2022 09:36:53 +0000 (11:36 +0200)
commit2aa24f71072df43afb695b3a8a1e230c06ece267
tree1943d277c99466f73f3c076a9b4c4ff134f7c42b
parent51c46402f5da370fff9966ffaae87aa26669dbda
parentb0d881ebc6c751f6924d2f737029626938887457
Merge pull request #4840 from ivaradi/remove-focal

Remove Ubuntu Focal