]> git.lizzy.rs Git - rust.git/commit
Auto merge of #56134 - oli-obk:clippy_documentation, r=nrc
authorbors <bors@rust-lang.org>
Wed, 21 Nov 2018 20:26:15 +0000 (20:26 +0000)
committerbors <bors@rust-lang.org>
Wed, 21 Nov 2018 20:26:15 +0000 (20:26 +0000)
commit0b9f19dff1347e29bf4362ab5a8fab84b43023b5
tree02a147b1c3f4b882fd77ec3cda8be55ef1bfb6c0
parent910ec6d97ff03549c22352d7763be02b60d73470
parent33efce1c2f280848a84b94f99ea1bc874e189a37
Auto merge of #56134 - oli-obk:clippy_documentation, r=nrc

Forward rust version number to tools

Clippy uses it to identify the correct documentation to point to

cc @Manishearth @nrc

sibling PR in clippy: https://github.com/rust-lang-nursery/rust-clippy/pull/3442