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

CWG Poll 17: P2085R0 Consistent defaulted comparisons #3768

Merged
merged 1 commit into from Feb 26, 2020
Merged

CWG Poll 17: P2085R0 Consistent defaulted comparisons #3768

merged 1 commit into from Feb 26, 2020

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Feb 20, 2020 •
edited

Fixes #3701.

Based on motions-2020-02-cwg-16 in order to resolve conflicts which would otherwise arise when trying to merge.

@jensmaurer jensmaurer added this to the post-2020-02 milestone Feb 20, 2020
@jensmaurer jensmaurer changed the title P2085R0 Consistent defaulted comparisons (Motions 2020 02 cwg 17) CWG Poll 17: P2085R0 Consistent defaulted comparisons Feb 21, 2020
jensmaurer
jensmaurer approved these changes Feb 25, 2020
View reviewed changes
Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This part looks good, but see the comments on CWG Poll 16: P2002R1.

@zygoloid zygoloid merged commit 3fba01d into master Feb 26, 2020
@jensmaurer jensmaurer deleted the motions-2020-02-cwg-17 branch February 12, 2021 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jensmaurer jensmaurer jensmaurer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
post-2020-02
Development

Successfully merging this pull request may close these issues.

[2020-02 CWG Poll 17] P2085R0 Consistent defaulted comparisons
3 participants
@burblebee @jensmaurer @zygoloid