From 51d18a0ae65a0acb907d4dd0045fc10671d8b13f Mon Sep 17 00:00:00 2001 From: Jose Luis Blanco-Claraco Date: Thu, 7 May 2020 07:45:52 +0200 Subject: [PATCH] Ubuntu PPA packages: disco is obsolete. Add focal. --- package_scripts/prepare_ubuntu_pkgs_for_ppa.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package_scripts/prepare_ubuntu_pkgs_for_ppa.sh b/package_scripts/prepare_ubuntu_pkgs_for_ppa.sh index 553e1884d..bb25c08e8 100755 --- a/package_scripts/prepare_ubuntu_pkgs_for_ppa.sh +++ b/package_scripts/prepare_ubuntu_pkgs_for_ppa.sh @@ -14,7 +14,7 @@ set -e # List of distributions to create PPA packages for: -LST_DISTROS=(xenial bionic disco eoan) +LST_DISTROS=(xenial bionic eoan focal) # Checks # --------------------------------