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

Forum Tag::$emoji_id phpdoc nullable #1098

Merged
merged 1 commit into from
Apr 27, 2023
Merged

Forum Tag::$emoji_id phpdoc nullable #1098

merged 1 commit into from
Apr 27, 2023

Conversation

SQKo
Copy link
Member

@SQKo SQKo commented Apr 26, 2023

@SQKo SQKo requested review from CommandString, Exanlv and a team April 26, 2023 16:16
@SQKo SQKo added this to In progress in DiscordPHP via automation Apr 26, 2023
@SQKo SQKo moved this from In progress to Review in progress in DiscordPHP Apr 26, 2023
DiscordPHP automation moved this from Review in progress to Reviewer approved Apr 26, 2023
@SQKo SQKo merged commit 019db22 into discord-php:master Apr 27, 2023
DiscordPHP automation moved this from Reviewer approved to Done Apr 27, 2023
@SQKo SQKo deleted the docs-forum-tag-emojiid-nullable branch April 27, 2023 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@key2peace key2peace key2peace approved these changes

@CommandString CommandString Awaiting requested review from CommandString

@Exanlv Exanlv Awaiting requested review from Exanlv

Assignees
No one assigned
Labels
None yet
Projects
DiscordPHP
Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@SQKo @key2peace