Skip to content

Conversation

@oli-obk
Copy link
Contributor

@oli-obk oli-obk commented May 17, 2019

can you place this into a branch so that rust-lang/rust#60907 can point to it?

This is needed to get rls fixed before the beta cutoff

@topecongiro topecongiro changed the base branch from master to rust-60907 May 17, 2019 09:18
@topecongiro topecongiro merged commit 68c6b17 into rust-lang:rust-60907 May 17, 2019
@topecongiro
Copy link
Contributor

@oli-obk
Copy link
Contributor Author

oli-obk commented May 19, 2019

We've finally decided not to go with this strategy, you can delete the branch

Thanks for the quick response though!

@oli-obk oli-obk deleted the preintern_symbols branch May 19, 2019 08:18
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