Skip to content

Conversation

@sgratzl
Copy link
Member

@sgratzl sgratzl commented Dec 29, 2024

closes

prerequisites:

  • branch is up-to-date with the branch to be merged with, i.e. develop
  • build is successful
  • code is cleaned up and formatted

Summary

@sgratzl sgratzl merged commit d1e94cf into develop Dec 29, 2024
2 checks passed
@sgratzl sgratzl deleted the sgratzl/u5 branch December 29, 2024 02:56
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