From 46d67d944e376e871d1542f60cb5b2c4c7fa80b1 Mon Sep 17 00:00:00 2001
From: Eberhard Beilharz <eb1@sil.org>
Date: Tue, 17 Oct 2023 18:45:19 +0200
Subject: [PATCH] chore(linux): Re-enable building for Ubuntu 23.10 Mantic

Now that we have updated ibus packages in place we can re-enable building
for Mantic.

Fixes #9520 and #9398.
---
 .github/workflows/deb-packaging.yml | 5 +----
 linux/scripts/launchpad.sh          | 3 +--
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/deb-packaging.yml b/.github/workflows/deb-packaging.yml
index 2d72e017649..6afe34aa142 100644
--- a/.github/workflows/deb-packaging.yml
+++ b/.github/workflows/deb-packaging.yml
@@ -105,10 +105,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        # Currently not building mantic until ibus version on mantic stabilizied
-        # and we can provide a patched version
-        # dist: [focal, jammy, lunar, mantic]
-        dist: [focal, jammy, lunar]
+        dist: [focal, jammy, lunar, mantic]
         arch: [amd64]
 
     runs-on: ubuntu-latest
diff --git a/linux/scripts/launchpad.sh b/linux/scripts/launchpad.sh
index 5aa2ad0bb68..7437272c030 100755
--- a/linux/scripts/launchpad.sh
+++ b/linux/scripts/launchpad.sh
@@ -33,8 +33,7 @@ else
 fi
 echo "ppa: ${ppa}"
 
-# distributions="${DIST:-focal jammy lunar mantic}"
-distributions="${DIST:-focal jammy lunar}"
+distributions="${DIST:-focal jammy lunar mantic}"
 packageversion="${PACKAGEVERSION:-1~sil1}"
 
 BASEDIR=$(pwd)