Skip to content

Conversation

rigor789
Copy link
Member

PR Checklist

What is the current behavior?

What is the new behavior?

Fixes/Implements/Closes #[Issue Number].

@cla-bot cla-bot bot added the cla: yes label Oct 18, 2022
@rigor789 rigor789 merged commit aa3de73 into master Oct 18, 2022
@rigor789 rigor789 deleted the fix/unknown-platform-edge-case branch October 18, 2022 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant