From 1af394cb0208ab0d5dec22d49d1c05db839cfe6f Mon Sep 17 00:00:00 2001
From: a1346054 <36859588+a1346054@users.noreply.github.com>
Date: Fri, 22 Oct 2021 19:25:01 +0000
Subject: [PATCH] Remove redundant semicolon ;

---
 web/upload.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/upload.sh b/web/upload.sh
index 3f3d6aa7..fb6fc36c 100755
--- a/web/upload.sh
+++ b/web/upload.sh
@@ -2,7 +2,7 @@
 
 if [ "${PWD##*/}" != "web" ] ; then
   echo $0 must be called from directory \"web\"
-  exit 1;
+  exit 1
 fi
 
 # later we can include user manual
-- 
2.20.1