Skip to content

Update meta repository (main)#283

Merged
rrenkert merged 1 commit intomainfrom
dep/update-meta-main
Oct 2, 2025
Merged

Update meta repository (main)#283
rrenkert merged 1 commit intomainfrom
dep/update-meta-main

Conversation

@openslides-automation
Copy link
Copy Markdown
Contributor

@rrenkert rrenkert merged commit 074dcde into main Oct 2, 2025
3 checks passed
@rrenkert rrenkert deleted the dep/update-meta-main branch October 2, 2025 09:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants