]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #86150 - cjgillot:notable, r=michaelwoerister
authorbors <bors@rust-lang.org>
Wed, 9 Jun 2021 14:06:10 +0000 (14:06 +0000)
committerbors <bors@rust-lang.org>
Wed, 9 Jun 2021 14:06:10 +0000 (14:06 +0000)
Do not require the DefPathTable to construct the on-disk cache.

r? `@michaelwoerister`


Trivial merge