[redirects-web/proxy] Extra ;

[Andrea Veri <averi src gnome org>]

commit 11adfae0a567df61e681b9f9f377c702d80089c6
Author: Andrea Veri <averi redhat com>
Date:   Fri Jul 30 13:29:08 2021 +0200

    Extra ;

 conf.d/developer.gnome.org.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/conf.d/developer.gnome.org.conf b/conf.d/developer.gnome.org.conf
index 99888da..262ed25 100644
--- a/conf.d/developer.gnome.org.conf
+++ b/conf.d/developer.gnome.org.conf
@@ -2,7 +2,7 @@ server {
     listen 8080;
     listen [::]:8080;
     server_name developer.gnome.org;
-;
+
     location / {
         proxy_set_header Host teams.pages.gitlab.gnome.org;
         proxy_set_header X-Forwarded-Host "";