diff options
| -rwxr-xr-x | scripts/ci/ci-driver.sh | 4 | ||||
| -rwxr-xr-x | scripts/git/git-list-tor-branches.sh | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh index eea98baae7..ef31da1ca3 100755 --- a/scripts/ci/ci-driver.sh +++ b/scripts/ci/ci-driver.sh @@ -301,6 +301,10 @@ case "$TOR_VERSION" in TOR_VER_AT_LEAST_043=yes TOR_VER_AT_LEAST_044=yes ;; + 0.4.7.*) + TOR_VER_AT_LEAST_043=yes + TOR_VER_AT_LEAST_044=yes + ;; esac ############################################################################# diff --git a/scripts/git/git-list-tor-branches.sh b/scripts/git/git-list-tor-branches.sh index d7142620d7..dd3cf154b4 100755 --- a/scripts/git/git-list-tor-branches.sh +++ b/scripts/git/git-list-tor-branches.sh @@ -149,6 +149,9 @@ branch release-0.4.5 branch maint-0.4.6 branch release-0.4.6 +branch maint-0.4.7 +branch release-0.4.7 + branch main finish |