Fixes #141#142

oli-obk merged 4 commits intomasterrust-lang/rustc-dev-guide:masterfrom

oli-obk-patch-1rust-lang/rustc-dev-guide:oli-obk-patch-1Copy head branch name to clipboard