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

notes include round id #4030

Merged
merged 2 commits into from
Jul 29, 2023
Merged

notes include round id #4030

merged 2 commits into from
Jul 29, 2023

Conversation

harryob
Copy link
Member

@harryob harryob commented Jul 28, 2023

as above

🆑
admin: notes applied to players now include the round id it was applied in
/:cl:

@github-actions github-actions bot added the Admin Make things harder for admins label Jul 28, 2023
@morrowwolf morrowwolf added this pull request to the merge queue Jul 29, 2023
Merged via the queue into cmss13-devs:master with commit a33c119 Jul 29, 2023
27 checks passed
cm13-github added a commit that referenced this pull request Jul 29, 2023
@cm13-github
Automatic changelog for PR #4030 [ci skip]
784133f
@harryob harryob deleted the note-round-ids branch July 29, 2023 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Zonespace27 Zonespace27 Zonespace27 approved these changes

Assignees
No one assigned
Labels
Admin Make things harder for admins
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@harryob @Zonespace27 @morrowwolf