From e1dc7344121da92dd3f6356a5d9bc294189d6f00 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Sun, 20 Jul 2025 01:48:35 +0530 Subject: [PATCH] Remove ondrej/pkg-gearman ppa [skip ci] --- src/scripts/extensions/gearman.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/src/scripts/extensions/gearman.sh b/src/scripts/extensions/gearman.sh index eb732dcf..300fce7a 100644 --- a/src/scripts/extensions/gearman.sh +++ b/src/scripts/extensions/gearman.sh @@ -1,6 +1,5 @@ # Helper function to add gearman extension. add_gearman_helper() { - add_ppa ondrej/pkg-gearman install_packages libgearman-dev enable_extension gearman extension if ! check_extension gearman; then