]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
Rollup merge of #62491 - GuillaumeGomez:fix-pin-urls-for-option, r=QuietMisdreavus
authorMark Rousskov <mark.simulacrum@gmail.com>
Mon, 15 Jul 2019 23:55:01 +0000 (19:55 -0400)
committerGitHub <noreply@github.com>
Mon, 15 Jul 2019 23:55:01 +0000 (19:55 -0400)
commitd6f0c0c47dbe3abd05e51daf4e470c81ed491334
treece0da0e851a003a91cc3e82a814111cf11db4d92
parent99e7328d13df794069b8d37f45a35d88f4f2a5be
parent224757f912008b42d22e3543a668a5314b3836cd
Rollup merge of #62491 - GuillaumeGomez:fix-pin-urls-for-option, r=QuietMisdreavus

Fix Pin urls in Option documentation

Fixes the following situation:

![Screenshot from 2019-07-08 13-24-59](https://user-images.githubusercontent.com/3050060/60806822-55dfdc00-a184-11e9-9ee3-279e82fc92bd.png)

r? @QuietMisdreavus
src/libcore/option.rs