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?
signature.asc
Description: OpenPGP digital signature
