From 0ce6b251e5708db1e2adfbcc4181232e3025377e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vincent=20Rivi=C3=A8re?= Date: Mon, 5 Jun 2023 00:42:37 +0200 Subject: [PATCH] Remove obsolete distribution "bionic" --- .github/deploy_ppa_all_dists.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/deploy_ppa_all_dists.sh b/.github/deploy_ppa_all_dists.sh index 82bee9a..76e2b4f 100755 --- a/.github/deploy_ppa_all_dists.sh +++ b/.github/deploy_ppa_all_dists.sh @@ -12,7 +12,6 @@ PACKAGE=$1 # List of all active Ubuntu distributions DISTS= -DISTS+=" bionic" DISTS+=" focal" DISTS+=" jammy" DISTS+=" kinetic"