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

Export missing member #178

Merged
merged 1 commit into from
Apr 22, 2020
Merged

Export missing member #178

merged 1 commit into from
Apr 22, 2020

Conversation

tobiasschweizer
Copy link
Contributor

No description provided.

@tobiasschweizer tobiasschweizer self-assigned this Apr 22, 2020
@tobiasschweizer tobiasschweizer added the bug Something isn't working label Apr 22, 2020
@tobiasschweizer tobiasschweizer requested a review from mdelez April 22, 2020 08:26
@tobiasschweizer tobiasschweizer merged commit 8008e01 into master Apr 22, 2020
@tobiasschweizer tobiasschweizer deleted the wip/export-member branch April 22, 2020 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mdelez mdelez mdelez approved these changes

Assignees

@tobiasschweizer tobiasschweizer

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tobiasschweizer @mdelez