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.

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

420 user management #13146

Closed
wants to merge 16 commits into from
Closed

420 user management #13146

wants to merge 16 commits into from

Conversation

soareskaleb93
Copy link

No description provided.

@fdellwing
Copy link
Contributor

Can you provide some background?

@sgiehl
Copy link
Member

sgiehl commented Jul 8, 2018

@soareskaleb93 is there any sense in opening a Pull Request for some else's work? I'm pretty sure @diosmosis would have opened a PR for it as soon as he has finished it...

@diosmosis diosmosis closed this Jul 8, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants