Skip to content

Conversation

@jorgepiloto
Copy link
Member

Ensures that pull-requests like #295 are included in #296.

@jorgepiloto jorgepiloto requested a review from a team as a code owner March 5, 2024 07:29
@github-actions github-actions bot added the fix Pull requests related to resolving problems or errors label Mar 5, 2024
@jorgepiloto jorgepiloto merged commit a48d99f into main Mar 5, 2024
@jorgepiloto jorgepiloto deleted the fix/dependabot branch March 5, 2024 07:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fix Pull requests related to resolving problems or errors

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants