]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 87a4495 4db1029)
Auto merge of #6023 - matthiaskrgr:box, r=flip1995
authorbors <bors@rust-lang.org>
Thu, 10 Sep 2020 13:49:50 +0000 (13:49 +0000)
committerbors <bors@rust-lang.org>
Thu, 10 Sep 2020 13:49:50 +0000 (13:49 +0000)
link to the Box docs in related lint documentation.

changelog: link to the box docs in lint docs


Trivial merge
Empowering everyone to build reliable and efficient software.