Bug#488751: Patch

[Frank Lichtenheld <djpig@debian.org>]

I believe the following patch should fix this issue, but my PHP
is somewhat rusty...

Index: developer.wml
===================================================================
--- developer.wml	(Revision 1915)
+++ developer.wml	(Arbeitskopie)
@@ -713,6 +713,10 @@
 
     if (!($bug_list = dba_fetch($package, $bugsdb))) $bug_list = '0(0) 0(0) 0(0) 0(0)';
     $bug_list = explode(' ', $bug_list);
+    if(count($bug_list) > 4)
+    { #handle the new patch count
+        array_pop($bug_list)
+    }
 
     $pool = isdisplayed('mirror') . "/pool/";
     if(strstr($section, "non-free"))

Gruesse,
-- 
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/