Or, a different approach could be to modify developer.php (developer.wml) to skip the use of maintainers.txt when the value given for the login= parameter appears to be a full e-mail address, maybe even limited to @debian.org e-mail addresses. As a consequence, in this case, s...@debian.org would no longer be confused with 93...@debian.org . I think that a corner case like this one deserves a small low-impact exceptional change.
-- To UNSUBSCRIBE, email to debian-qa-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120805101655.gc28...@master.debian.org
