Skip to content

Add a tracking issue for enum_set#37967

Merged
bors merged 1 commit intorust-lang:masterfrom
sfackler:enumset-issue
Nov 26, 2016
Merged

Add a tracking issue for enum_set#37967
bors merged 1 commit intorust-lang:masterfrom
sfackler:enumset-issue

Conversation

@sfackler
Copy link
Copy Markdown
Member

I totally forgot this even existed!

@rust-highfive
Copy link
Copy Markdown
Contributor

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Copy Markdown
Member

@bors: r+ rollup

@bors
Copy link
Copy Markdown
Collaborator

bors commented Nov 23, 2016

📌 Commit 8560991 has been approved by alexcrichton

@sfackler sfackler closed this Nov 26, 2016
@sfackler sfackler deleted the enumset-issue branch November 26, 2016 05:48
@sfackler sfackler restored the enumset-issue branch November 26, 2016 05:49
@sfackler sfackler reopened this Nov 26, 2016
@sfackler
Copy link
Copy Markdown
Member Author

Oops

@bors r+ rollup

@bors
Copy link
Copy Markdown
Collaborator

bors commented Nov 26, 2016

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

@bors
Copy link
Copy Markdown
Collaborator

bors commented Nov 26, 2016

📌 Commit 8560991 has been approved by sfackler

sanxiyn added a commit to sanxiyn/rust that referenced this pull request Nov 26, 2016
Add a tracking issue for enum_set

I totally forgot this even existed!
bors added a commit that referenced this pull request Nov 26, 2016
Rollup of 7 pull requests

- Successful merges: #37962, #37963, #37967, #37978, #37985, #38001, #38010
- Failed merges:
@bors bors merged commit 8560991 into rust-lang:master Nov 26, 2016
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.

5 participants