Skip to content

Conversation

@widhalmt
Copy link
Member

No description provided.

@widhalmt widhalmt added the feature New feature or request label May 16, 2023
@widhalmt widhalmt self-assigned this May 16, 2023
@widhalmt widhalmt enabled auto-merge May 16, 2023 09:31
@widhalmt widhalmt added this pull request to the merge queue May 17, 2023
Merged via the queue into main with commit 3fbb8c4 May 17, 2023
@widhalmt widhalmt deleted the feature/dependabot branch May 17, 2023 06:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants