From 1cfbc75688675b3424aa3f998e8de9dc5aea2f88 Mon Sep 17 00:00:00 2001 From: ferreo Date: Thu, 10 Oct 2024 19:10:47 +0200 Subject: [PATCH] Update main.sh --- main.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.sh b/main.sh index d4d847d..ede9d27 100755 --- a/main.sh +++ b/main.sh @@ -2,7 +2,7 @@ set -e -VERSION="3.8" +VERSION="3.9" source ./pika-build-config.sh