Skip to content

Merge main into develop#68

Merged
jeppekroghitk merged 8 commits intodevelopfrom
main
Jun 23, 2025
Merged

Merge main into develop#68
jeppekroghitk merged 8 commits intodevelopfrom
main

Conversation

@jeppekroghitk
Copy link
Collaborator

No description provided.

@jeppekroghitk jeppekroghitk changed the title Main -> develop Merge main into develop Jun 23, 2025
@jeppekroghitk jeppekroghitk merged commit 406e5ee into develop Jun 23, 2025
4 of 8 checks passed
@jeppekroghitk jeppekroghitk deleted the main branch June 23, 2025 08:15
@jeppekroghitk jeppekroghitk restored the main branch June 23, 2025 08:44
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