Skip to content

Beheer: merge main in develop#22

Merged
TimvdLippe merged 6 commits into
developfrom
merge-main
Jun 4, 2026
Merged

Beheer: merge main in develop#22
TimvdLippe merged 6 commits into
developfrom
merge-main

Conversation

@TimvdLippe

Copy link
Copy Markdown
Contributor

Zodat we straks de 1.0.4 kunnen publiceren zonder merge conflicts.

@TimvdLippe TimvdLippe requested a review from sanderke June 4, 2026 09:38
@github-actions

github-actions Bot commented Jun 4, 2026

Copy link
Copy Markdown

@TimvdLippe TimvdLippe merged commit 29b5f42 into develop Jun 4, 2026
9 checks passed
@TimvdLippe TimvdLippe deleted the merge-main branch June 4, 2026 09:48
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