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)
Remove Ubuntu Focal


Trivial merge