Skip to content
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

Update markup5ever major version and all other crates. #469

Merged
merged 2 commits into from Mar 27, 2022

Conversation

jdm
Copy link
Member

@jdm jdm commented Mar 27, 2022

Since the pfh map is exposed in markup5ever's public API, we need to release a new major version when the phf dependency is updated.

@jdm jdm mentioned this pull request Mar 27, 2022
@jdm
Copy link
Member Author

@jdm jdm commented Mar 27, 2022

@bors-servo r+

@bors-servo
Copy link
Contributor

@bors-servo bors-servo commented Mar 27, 2022

📌 Commit 3f0acd7 has been approved by jdm

@bors-servo
Copy link
Contributor

@bors-servo bors-servo commented Mar 27, 2022

Testing commit 3f0acd7 with merge 8412575...

@bors-servo
Copy link
Contributor

@bors-servo bors-servo commented Mar 27, 2022

☀️ Test successful - checks-github
Approved by: jdm
Pushing 8412575 to master...

@bors-servo bors-servo merged commit 8412575 into master Mar 27, 2022
6 checks passed
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.

None yet

2 participants