]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #82023 - MikailBag:boxed-docs-unallow, r=jyn514
authorDylan DPC <dylan.dpc@gmail.com>
Fri, 12 Feb 2021 21:53:37 +0000 (22:53 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Feb 2021 21:53:37 +0000 (22:53 +0100)
Remove unnecessary lint allow attrs on example

It seems they are not needed anymore.


Trivial merge