Skip to content

Update index map#1068

Merged
jyn514 merged 1 commit into
rust-lang:masterfrom
Nemo157:update-index-map
Sep 25, 2020
Merged

Update index map#1068
jyn514 merged 1 commit into
rust-lang:masterfrom
Nemo157:update-index-map

Conversation

@Nemo157

@Nemo157 Nemo157 commented Sep 25, 2020

Copy link
Copy Markdown
Contributor

Avoids rebuilding every time when using --remap-path-prefix (indexmap-rs/indexmap#123)

Avoids rebuilding every time (indexmap-rs/indexmap#123)
@jyn514

jyn514 commented Sep 25, 2020

Copy link
Copy Markdown
Member

This adds a new hashbrown dependency :(

@Nemo157

Nemo157 commented Sep 25, 2020

Copy link
Copy Markdown
Contributor Author

indexmap-rs/indexmap#131, sounds like it's a large benefit.

@jyn514
jyn514 merged commit ae0a4ed into rust-lang:master Sep 25, 2020
@Nemo157
Nemo157 deleted the update-index-map branch September 25, 2020 15:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants