From ff41146439a7d5c92f136b5d503a464fdf3de89f Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Sun, 11 Nov 2018 16:59:24 -0500 Subject: [PATCH] Delete defunct release2-tag.php script. Thanks Adham Saad for reporting. Signed-off-by: Edward Z. Yang --- release2-tag.php | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 release2-tag.php diff --git a/release2-tag.php b/release2-tag.php deleted file mode 100644 index 25e5300d..00000000 --- a/release2-tag.php +++ /dev/null @@ -1,22 +0,0 @@ -