[pgstatus] [PATCH 3/3] Use official Debian source service

[Paul Wise <pabs@debian.org>]

---
 library.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library.php b/library.php
index 4a4f3a7..d76e768 100644
--- a/library.php
+++ b/library.php
@@ -883,7 +883,7 @@ function pkg_links($packages, $suite, $p=true, $mail="") {
             sprintf("<a href=\"https://bugs.debian.org/src:%s\";>Bugs</a>", urlencode($package)),
             sprintf("<a href=\"https://packages.debian.org/source/%s/%s\";>packages.d.o</a>",
                     urlencode($suite), urlencode($package)),
-            sprintf("<a href=\"https://sources.debian.net/src/%s/%s\";>Source</a>", urlencode($package), urlencode($suite))
+            sprintf("<a href=\"https://sources.debian.org/src/%s/%s\";>Source</a>", urlencode($package), urlencode($suite))
             );
   } else {
     $packages = array_map("urlencode", $packages);
-- 
2.15.0