Remove obsolete distribution "mantic"

vinriviere · Nov 27, 2024 · 334deca · 334deca
1 parent b2dcc8d
commit 334deca
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
@@ -14,7 +14,6 @@ PACKAGE=$1
 DISTS=
 DISTS+=" focal"
 DISTS+=" jammy"
-DISTS+=" mantic"
 DISTS+=" noble"
 
 # Use timestamp as package suffix to generate a unique version number