Skip to content

Regenerate character tables for Unicode 11 #51505

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
Jun 12, 2018

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Jun 11, 2018

No description provided.

@estebank
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jun 11, 2018

📌 Commit f81e34b has been approved by estebank

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jun 11, 2018
@bors
Copy link
Collaborator

bors commented Jun 12, 2018

⌛ Testing commit f81e34b with merge 56d9bfd...

bors added a commit that referenced this pull request Jun 12, 2018
Regenerate character tables for Unicode 11

None
@bors
Copy link
Collaborator

bors commented Jun 12, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: estebank
Pushing 56d9bfd to master...

@bors bors merged commit f81e34b into rust-lang:master Jun 12, 2018
@cuviper cuviper deleted the these-go-to-11 branch March 27, 2019 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants