From 1dee84949838d90be1aa2d8f85995cd17b602074 Mon Sep 17 00:00:00 2001
From: Jeff Volkenant <jeff@volkenant.net>
Date: Wed, 30 Jan 2019 11:33:43 -0800
Subject: [PATCH] Removed extra blankline

---
 setup/web.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/setup/web.sh b/setup/web.sh
index 2e82fe6a..4ba646e4 100755
--- a/setup/web.sh
+++ b/setup/web.sh
@@ -54,7 +54,6 @@ tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
 tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
         default_socket_timeout=180
 
-
 # Switch from the dynamic process manager to the ondemand manager see #1216
 tools/editconf.py /etc/php/7.2/fpm/pool.d/www.conf -c ';' \
 	pm=ondemand