From db854dcef4c0761593bbac9ab10b16a1199ef0f6 Mon Sep 17 00:00:00 2001
From: William S Fulton <wsf@fultondesigns.co.uk>
Date: Sat, 30 Jul 2022 19:45:53 +0100
Subject: [PATCH] GHA: Python is already installed

---
 Tools/CI-linux-install.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh
index b88df193c..525121e8c 100644
--- a/Tools/CI-linux-install.sh
+++ b/Tools/CI-linux-install.sh
@@ -12,8 +12,7 @@ else
 fi
 
 $RETRY sudo apt-get -qq install libboost-dev libpcre3-dev
-# testflags.py needs python
-$RETRY sudo apt-get install -qq python
+# Note: testflags.py needs python, but python is pre-installed
 
 WITHLANG=$SWIGLANG