Skip to content

Conversation

@sagikazarmark
Copy link
Collaborator

@sagikazarmark sagikazarmark commented Jun 5, 2024

Fixes #1581

@sagikazarmark sagikazarmark added the kind/enhancement New feature or request label Jun 5, 2024
Repository owner deleted a comment from github-actions bot Jun 5, 2024
@sagikazarmark sagikazarmark merged commit db85e2a into master Jun 5, 2024
@sagikazarmark sagikazarmark deleted the set-options branch June 5, 2024 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants