Skip to content

Conversation

@svenjacobs
Copy link
Collaborator

No description provided.

@svenjacobs svenjacobs added the chore Maintenance label Sep 22, 2024
@svenjacobs svenjacobs self-assigned this Sep 22, 2024
@svenjacobs svenjacobs merged commit 0cf298e into main Sep 22, 2024
@svenjacobs svenjacobs deleted the chore/target-35 branch September 22, 2024 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants