Skip to content
This repository has been archived by the owner on Jul 31, 2024. It is now read-only.

Bump: Fix labels #82

Merged
merged 1 commit into from
Jul 5, 2024
Merged

Bump: Fix labels #82

merged 1 commit into from
Jul 5, 2024

Conversation

dwendland
Copy link
Contributor

No description provided.

@dwendland dwendland added the patch Should be applied for dependency updates and small bugfixes. label Jul 5, 2024
@dwendland dwendland merged commit 5a99668 into main Jul 5, 2024
10 of 11 checks passed
@dwendland dwendland deleted the cleanup branch July 5, 2024 11:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
patch Should be applied for dependency updates and small bugfixes.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant