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:02
@widhalmt widhalmt added this pull request to the merge queue May 16, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks May 16, 2023
@martialblog martialblog merged commit b4077fc into main May 16, 2023
@martialblog martialblog deleted the fix/move-dependabot branch May 16, 2023 10:09
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.

3 participants