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

Motions 2019 02 cwg 4 and 5 #2739

Closed
wants to merge 2 commits into from
Closed

Motions 2019 02 cwg 4 and 5 #2739

wants to merge 2 commits into from

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Mar 5, 2019 •
edited

Fixes #2684 and #2685.

@jensmaurer jensmaurer added this to the post-2019-02 milestone Mar 5, 2019
@zygoloid
Copy link
Member

zygoloid commented Mar 9, 2019

Split into #2760 and #2761 and merged.

@zygoloid zygoloid closed this Mar 9, 2019
@zygoloid zygoloid deleted the motions-2019-02-cwg-4_and_5 branch March 9, 2019 01:34
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
None yet
Projects
None yet
Milestone
post-2019-02
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@burblebee @zygoloid @jensmaurer