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

[2018-11 LWG Motion 5] P1123R0 Editorial Guidance for merging P0019r8 and P0528r3 #2411

Closed
jensmaurer opened this issue Nov 10, 2018 · 0 comments
Closed

[2018-11 LWG Motion 5] P1123R0 Editorial Guidance for merging P0019r8 and P0528r3 #2411

jensmaurer opened this issue Nov 10, 2018 · 0 comments
Assignees
@burblebee
Milestone
post-2018-11

Comments

@jensmaurer
Copy link
Member

jensmaurer commented Nov 10, 2018 •
edited

P1123R0
@jensmaurer jensmaurer added this to the post-2018-11 milestone Nov 10, 2018
@burblebee burblebee self-assigned this Nov 13, 2018
@burblebee burblebee mentioned this issue Nov 13, 2018
Merged
zygoloid added a commit that referenced this issue Nov 26, 2018
@zygoloid
Merge 2018-11 Motion 5
4bdc42e 
P1123R0 Editorial Guidance for merging P0019R8 and P0528R3

Fixes #2411
zygoloid added a commit that referenced this issue Nov 26, 2018
@zygoloid
Merge 2018-11 LWG Motion 5
ed6c309 
P1123R0 Editorial Guidance for merging P0019R8 and P0528R3

Fixes #2411
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@burblebee burblebee

Labels
None yet
Projects
None yet
Milestone
post-2018-11
Development

No branches or pull requests
2 participants
@burblebee @jensmaurer