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

[easy] Trim the regex dependency #871

Closed
wants to merge 1 commit into from

Conversation

huitseeker
Copy link
Contributor

See rust-lang/regex#613

as it turns out we never use regex in a Unicode context, trim it.

@huitseeker huitseeker requested a review from mimoo September 6, 2019 21:44
@mimoo
Copy link
Contributor

mimoo commented Sep 6, 2019

@bors-libra r+

@bors-libra
Copy link
Contributor

📌 Commit 99564ba has been approved by mimoo

@bors-libra
Copy link
Contributor

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

See rust-lang/regex#613

as it turns out we never use regex in a Unicode context, trim its transitive dependencies
@bors-libra
Copy link
Contributor

🔒 Merge conflict

@huitseeker
Copy link
Contributor Author

huitseeker commented Sep 6, 2019

@bors-libra r=mimoo

@bors-libra
Copy link
Contributor

📌 Commit a79f67e has been approved by mimoo"

@bors-libra
Copy link
Contributor

💡 This pull request was already approved, no need to approve it again.

@bors-libra
Copy link
Contributor

📌 Commit a79f67e has been approved by mimoo

@bors-libra
Copy link
Contributor

⌛ Testing commit a79f67e with merge a0696bab3d3b1fb7354bab4ed7bf28bf82032ba5...

@bors-libra
Copy link
Contributor

⌛ Testing commit a79f67e with merge 4524e3c...

@bors-libra
Copy link
Contributor

☀️ Test successful - checks-circle_commit_workflow
Approved by: mimoo
Pushing 4524e3c to master...

@bors-libra bors-libra closed this in 4524e3c Sep 6, 2019
@huitseeker huitseeker self-assigned this Oct 9, 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