Merge branch 'develop' into feature-gmt

cburstedde · Feb 19, 2024 · e050d47 · e050d47
2 parents 14d8154 + 931fd26
commit e050d47
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -139,7 +139,7 @@ jobs:
         cd sc
         git fetch --tags
         # git checkout v2.8.5
-        git checkout -b test-branch a007593f8adab93bca82da017f37b67cf1fdd4b9
+        git checkout -b test-branch c467b80334f48ceaf1c7c724155ed9f9a4cc6106
 
     - name: Run bootstrap script
       run: ./bootstrap

diff --git a/sc b/sc