Skip to content

Conversation

@genisd
Copy link
Member

@genisd genisd commented Dec 11, 2024

PR created using a script. Please review and merge.

@genisd genisd added the jsonnet-update jsonnet update label, used for the update script to prevent duplicate PRs. label Dec 11, 2024
@genisd genisd closed this Dec 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

jsonnet-update jsonnet update label, used for the update script to prevent duplicate PRs.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants