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

[DE] Add People/User group #9080

Merged
merged 3 commits into from
Apr 6, 2023
Merged

Conversation

The-Last-Cookie
Copy link
Contributor

@The-Last-Cookie The-Last-Cookie commented Apr 5, 2023

Self-check

@osu-wiki-observatory
Copy link

Your translation may be missing new pending changes to English articles. Please update your translation after they are merged:

wiki/People/User_group/de.md Outdated Show resolved Hide resolved
Co-authored-by: respektive <[email protected]>
@TicClick TicClick changed the title [DE] Add People/User_group [DE] Add People/User group Apr 6, 2023
@TicClick TicClick enabled auto-merge April 6, 2023 12:44
@TicClick TicClick merged commit fd7f92c into ppy:master Apr 6, 2023
@The-Last-Cookie The-Last-Cookie deleted the de-user-group branch April 6, 2023 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants