Skip to content

Couple of changes to FileSearch and SearchPath - #88751

Merged
bors merged 3 commits into
rust-lang:masterfrom
bjorn3:move_filesearch
Sep 17, 2021
Merged

Couple of changes to FileSearch and SearchPath#88751
bors merged 3 commits into
rust-lang:masterfrom
bjorn3:move_filesearch

Use Lrc instead of Option to avoid duplication of a SearchPath

d7ef0b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs