]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #75776 - GuillaumeGomez:missing-doc-examples-lint-improvements, r=jyn514
authorbors <bors@rust-lang.org>
Sat, 22 Aug 2020 06:51:13 +0000 (06:51 +0000)
committerbors <bors@rust-lang.org>
Sat, 22 Aug 2020 06:51:13 +0000 (06:51 +0000)
Missing doc examples lint improvements

Fixes #75719.

To be merged after #75718 (only the two last commits are from this PR).

Since you already reviewed #75718, I'll set you as reviewer here as well. :)

r? @jyn514


Trivial merge