Skip to content

rename anvil -> anvl#184

Merged
sebffischer merged 1 commit into
mainfrom
dev/20260416-080941
Apr 23, 2026
Merged

rename anvil -> anvl#184
sebffischer merged 1 commit into
mainfrom
dev/20260416-080941

Conversation

@sebffischer
Copy link
Copy Markdown
Collaborator

No description provided.

@sebffischer sebffischer merged commit 19c4c7e into main Apr 23, 2026
13 checks passed
@sebffischer sebffischer deleted the dev/20260416-080941 branch April 23, 2026 04:51
@sebffischer sebffischer restored the dev/20260416-080941 branch May 2, 2026 08:03
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.

1 participant