]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #86877 - bjorn3:remove_lib_source, r=petrochenkov
authorbors <bors@rust-lang.org>
Mon, 5 Jul 2021 21:52:34 +0000 (21:52 +0000)
committerbors <bors@rust-lang.org>
Mon, 5 Jul 2021 21:52:34 +0000 (21:52 +0000)
Remove LibSource

The information is stored in used_crate_source too anyway.

Split out of #86105

r? `@petrochenkov`


Trivial merge