From c70e03f67c9c13b1dc6730caba8f1a041109000a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Fri, 5 Jun 2015 16:56:25 +0200
Subject: [PATCH] lint: don't assume trailing slashes in urls are redundant

---
 fdroidserver/lint.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index c8588b36..d51dab92 100644
--- a/fdroidserver/lint.py
+++ b/fdroidserver/lint.py
@@ -43,8 +43,6 @@ https_enforcings = [
 ]
 
 http_warnings = https_enforcings + [
-    (re.compile(r'.*/$'),
-     "HTTP links shouldn't end with a slash"),
     (re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
      "Appending .git is not necessary"),
     # TODO enable in August 2015, when Google Code goes read-only