gentoo/devmanual.gentoo.org — pull request #8 by ercpe (2013-08-17 08:04:14+00:00)
Title: Linking between Mirrors page and Patch page

Linked the Mirror page from the Patch page; clarified why it is a good idea to use dev.gentoo.org