Remove obsolete distribution "bionic"

vinriviere · Jun 4, 2023 · 0ce6b25 · 0ce6b25
1 parent 605d309
commit 0ce6b25
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"