Skip to content

Conversation

gammazero
Copy link
Contributor

No description provided.

@gammazero gammazero added the skip/changelog This change does NOT require a changelog entry label Jan 21, 2025
@gammazero gammazero requested a review from a team as a code owner January 21, 2025 10:12
@gammazero gammazero merged commit 104b661 into master Jan 21, 2025
15 checks passed
@gammazero gammazero deleted the update-deps branch January 21, 2025 21:00
lidel pushed a commit that referenced this pull request Jan 22, 2025
(cherry picked from commit 104b661)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip/changelog This change does NOT require a changelog entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant