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

Improve platform types #20027

Merged
merged 1 commit into from
Dec 3, 2021
Merged

Improve platform types #20027

merged 1 commit into from
Dec 3, 2021

Conversation

t3chguy
Copy link
Member

@t3chguy t3chguy commented Dec 3, 2021 •
edited by github-actions bot
Loading

This change is marked as an internal change (Task), so will not be included in the changelog.

@t3chguy t3chguy added the T-Task Tasks for the team like planning label Dec 3, 2021
@t3chguy t3chguy requested a review from a team as a code owner December 3, 2021 10:45
@t3chguy t3chguy mentioned this pull request Dec 3, 2021
Merged
@t3chguy t3chguy merged commit 883d8ce into develop Dec 3, 2021
@t3chguy t3chguy deleted the t3chguy/fix/1118 branch December 3, 2021 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@andybalaam andybalaam andybalaam approved these changes

Assignees
No one assigned
Labels
T-Task Tasks for the team like planning
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@t3chguy @andybalaam