http://www.debian.org/devel/leader says The current Debian Project Leader is Branden Robinson. yet http://www.debian.org/doc/manuals/project-history/ch-leaders says Martin Michlmayr was elected in March 2003 and is our current leader. Shouldn't this be updated?
Attachment:
signature.asc
Description: OpenPGP digital signature