Remove 0.4.2 from list of branches in git script: it has reached EOL.

ca389d22 · Nick Mathewson · b30ac328 · ca389d22
Commit ca389d22 authored Sep 15, 2020 by Nick Mathewson 👁
--- a/scripts/git/git-list-tor-branches.sh
+++ b/scripts/git/git-list-tor-branches.sh
@@ -139,9 +139,6 @@ finish() {
 branch maint-0.3.5
 branch release-0.3.5
-branch maint-0.4.2
-branch release-0.4.2
 branch maint-0.4.3
 branch release-0.4.3