Skip to content

Conversation

@github-actions
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot added the ignore-for-release This will exclude the PR from release notes label Jul 10, 2024
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 2cfc8e1 to 4889573 Compare July 13, 2024 03:51
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 4889573 to 0489b11 Compare July 13, 2024 05:03
@jesseduffield jesseduffield merged commit e1d973d into master Jul 13, 2024
@jesseduffield jesseduffield deleted the create-pull-request/patch branch July 13, 2024 05:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release This will exclude the PR from release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants