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.

Sign up for GitHub

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

Jump to bottom

[containers] Removed redundant specifications of non-member swap #1978

Merged
merged 1 commit into from Apr 2, 2018
Merged

[containers] Removed redundant specifications of non-member swap #1978

merged 1 commit into from Apr 2, 2018

Conversation

jensmaurer
Copy link
Member

Fixes #1935.

@tkoeppe
Copy link
Contributor

tkoeppe commented Mar 30, 2018

Please rebase.

@zygoloid: Attention: this change requires announcement.

@tkoeppe tkoeppe added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Mar 30, 2018
@jensmaurer
Copy link
Member Author

Rebased.

@jensmaurer jensmaurer added needs rebase The pull request needs a git rebase to resolve merge conflicts. and removed needs rebase The pull request needs a git rebase to resolve merge conflicts. labels Mar 31, 2018
@jensmaurer jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Mar 31, 2018
@jensmaurer
Copy link
Member Author

Rebased again.

@jensmaurer
Copy link
Member Author

... and again.

@jensmaurer jensmaurer added the after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied. label Apr 1, 2018
@zygoloid zygoloid merged commit 8738c6b into cplusplus:master Apr 2, 2018
@jensmaurer jensmaurer deleted the b42 branch April 2, 2018 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@jensmaurer @tkoeppe @zygoloid