Skip to content

Conversation

@JakeQZ
Copy link
Collaborator

@JakeQZ JakeQZ commented Feb 17, 2024

No description provided.

@JakeQZ JakeQZ added documentation developer-specific Issues that only affect maintainers, contributors, and people submitting PRs labels Feb 17, 2024
@JakeQZ JakeQZ requested a review from oliverklee February 17, 2024 18:07
@JakeQZ JakeQZ self-assigned this Feb 17, 2024
Copy link
Collaborator

@oliverklee oliverklee left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch!

@oliverklee oliverklee merged commit a8d85df into main Feb 17, 2024
@oliverklee oliverklee deleted the doc/script-description branch February 17, 2024 18:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

developer-specific Issues that only affect maintainers, contributors, and people submitting PRs documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants