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

add MemberFlags #233

Merged
merged 1 commit into from
Jan 23, 2023
Merged

add MemberFlags #233

merged 1 commit into from
Jan 23, 2023

Conversation

sebm253
Copy link
Member

@sebm253 sebm253 commented Jan 23, 2023

@sebm253 sebm253 requested a review from topi314 January 23, 2023 22:38
@sebm253 sebm253 merged commit 48d1810 into master Jan 23, 2023
@sebm253 sebm253 deleted the patch/member-flags branch January 23, 2023 22:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@topi314 topi314 topi314 approved these changes

Assignees
No one assigned
Labels
type:enhancement
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@sebm253 @topi314