Skip to content

Use unique const names in string_cache_codegen - #233

Merged
bors-servo merged 1 commit into
masterfrom
unique-atom-const-names
Oct 21, 2019
Merged

Use unique const names in string_cache_codegen#233
bors-servo merged 1 commit into
masterfrom
unique-atom-const-names

Conversation

@nox

@nox nox commented Oct 21, 2019

Copy link
Copy Markdown
Contributor

No description provided.

@SimonSapin

Copy link
Copy Markdown
Member

@bors-servo r+

@bors-servo

Copy link
Copy Markdown
Contributor

📌 Commit b78c9da has been approved by SimonSapin

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit b78c9da with merge 86a33eb...

bors-servo pushed a commit that referenced this pull request Oct 21, 2019
Use unique const names in string_cache_codegen
@bors-servo

Copy link
Copy Markdown
Contributor

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

@bors-servo
bors-servo merged commit b78c9da into master Oct 21, 2019
@SimonSapin
SimonSapin deleted the unique-atom-const-names branch October 21, 2019 14:39
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