merge from develop #2

Closed
victor wants to merge 2 commits from develop into main

2 Commits

Author SHA1 Message Date
f34bc36a41 Merge branch 'main' into develop 2025-07-22 19:50:36 +02:00
c9e5b68eba Merge pull request 'develop pull requesy' (#1) from develop into main
Reviewed-on: #1
2025-07-17 17:47:56 +02:00