diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-13 21:33:31 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-13 21:33:31 +0000 |
commit | ebfa26658e9f65491e79f6853bb7c77030f5b0fe (patch) | |
tree | 2c0d36ffc23e1b0db34608fd694a985edad9ccab /editors/code/.gitignore | |
parent | cb4327b3a9f0858235dc20b7c5c7e25c6c330aab (diff) | |
parent | da300fd55340ca1c65914744fa30c2b3b02e485f (diff) |
Merge #818
818: In `RootConfig::contains`, check against canonicalized version of root path r=matklad a=pnkfelix
In `RootConfig::contains`, check against canonicalized version of root path since OS may hand us data that uses the canonical form rather than the root as specified by the user.
This is a step towards a resolution of issue #734 but does not completely fix the problem there.
Co-authored-by: Felix S. Klock II <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions