johu@gentoo.org Johannes Huber devmanual@gentoo.org Bugs for the devmanual documentation must be assigned to devmanual@gentoo.org