Skip to content

Merge main into develop#180

Merged
sandorkertesz merged 4 commits into
developfrom
main
Jun 29, 2026
Merged

Merge main into develop#180
sandorkertesz merged 4 commits into
developfrom
main

Conversation

@sandorkertesz

Copy link
Copy Markdown
Collaborator

Description

Contributor Declaration

By opening this pull request, I affirm the following:

  • All authors agree to the Contributor License Agreement.
  • The code follows the project's coding standards.
  • I have performed self-review and added comments where needed.
  • I have added or updated tests to verify that my changes are effective and functional.
  • I have run all existing tests and confirmed they pass.

@sandorkertesz sandorkertesz merged commit 0492a61 into develop Jun 29, 2026
125 of 127 checks passed
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