Skip to content

Future-proof specialization code#147

Merged
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:spec
Apr 25, 2020
Merged

Future-proof specialization code#147
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:spec

Conversation

@Amanieu

@Amanieu Amanieu commented Mar 17, 2020

Copy link
Copy Markdown
Member

As per @Centril's comment

@Centril

Centril commented Mar 18, 2020

Copy link
Copy Markdown

Syntax-related bits look good :)

@Amanieu

Amanieu commented Apr 25, 2020

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Apr 25, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 3ca10cb has been approved by Amanieu

@bors

bors commented Apr 25, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 3ca10cb with merge 77c11a1...

@bors

bors commented Apr 25, 2020

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis
Approved by: Amanieu
Pushing 77c11a1 to master...

@bors bors merged commit 77c11a1 into rust-lang:master Apr 25, 2020
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