Don't display supermaintainers twice on maintainer processing screen. When printing the list of

non-super maintainers, only print the entry if the user is not a super maintainer

include/maintainer.php

@@ -537,7 +537,12 @@ class maintainer
             while(list($index, $iUserId) = each($aOtherMaintainers))
             {
                 $oUser = new User($iUserId);
-                echo "$oUser->sRealname<br />\n";
+
+                // because Version::getMaintainersUserIds() includes super maintainers
+                // we need to exclude these from the list of maintainers that we are
+                // building
+                if(!maintainer::isUserSuperMaintainer($oUser, $oVersion->iAppId))
+                    echo "$oUser->sRealname<br />\n";
             }
         }