Skip to content

Conversation

@mauroservienti
Copy link
Member

No description provided.

@mauroservienti mauroservienti added the maintenance Some maintenance label Dec 8, 2024
@mauroservienti mauroservienti enabled auto-merge (squash) December 8, 2024 16:39
@mauroservienti mauroservienti merged commit 34776ac into master Dec 8, 2024
3 checks passed
@mauroservienti mauroservienti deleted the update-git-ignore branch December 8, 2024 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Some maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants