Skip to content

Conversation

@AndreaFerraresi
Copy link

No description provided.

@AndreaFerraresi
Copy link
Author

Not sure why do I have a conflict here

@r2dedios
Copy link
Owner

It was because the commit you pushed was outdated respect to the last commit on this branch. I fixed it so we can merge.

@r2dedios r2dedios merged commit 81a202b into r2dedios:regional-dr Oct 24, 2024
@r2dedios r2dedios mentioned this pull request Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants