Commit 77d37f24 authored May 10, 2025 by Patrik Radiměřský

Merge branch 'GUI-006-merge-005' into 'devel'

Gui 006 merge 005

See merge request !16