Skip to content

Update phf to 0.8 #261

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 21, 2019
Merged

Update phf to 0.8 #261

merged 1 commit into from
Oct 21, 2019

Conversation

nox
Copy link
Contributor

@nox nox commented Oct 18, 2019

No description provided.

@SimonSapin
Copy link
Member

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 89a482b has been approved by SimonSapin

@bors-servo
Copy link
Contributor

⌛ Testing commit 89a482b with merge 84d001f...

bors-servo pushed a commit that referenced this pull request Oct 18, 2019
@bors-servo
Copy link
Contributor

💔 Test failed - checks-travis

@SimonSapin
Copy link
Member

getrandom failed to build on 1.31, https://github.com/rust-random/getrandom#minimum-supported-rust-version lists 1.32

@nox
Copy link
Contributor Author

nox commented Oct 21, 2019

getrandom failed to build on 1.31, https://github.com/rust-random/getrandom#minimum-supported-rust-version lists 1.32

I know, which is why I want the MaybeUninit patch to land because it already increases minimum Rust version.

@bors-servo
Copy link
Contributor

☔ The latest upstream changes (presumably #259) made this pull request unmergeable. Please resolve the merge conflicts.

@SimonSapin
Copy link
Member

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit fcbf983 has been approved by SimonSapin

@bors-servo
Copy link
Contributor

⌛ Testing commit fcbf983 with merge bcd27d1...

bors-servo pushed a commit that referenced this pull request Oct 21, 2019
@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: SimonSapin
Pushing bcd27d1 to master...

@bors-servo bors-servo merged commit fcbf983 into master Oct 21, 2019
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.

3 participants