mozilla/rust — pull request #5777 by lucab (2013-04-08 08:25:06+00:00)
Title: Docs and credits minor fixes

A non-code PR to put the AUTHORS.txt file in the released tarball and to update the copyright terms in the rustc manpage as per post-dual-licensing.