Merge master into develop#50

Open

github-actions[bot] wants to merge 3 commits intodevelopfrom

sync-master-ee34f4e2d

Commits on Jun 15, 2025

Fix `wb_speaker_play_sound` Request Message (#6843)
CoolSpy3
authored

Commits on Jun 16, 2025

Fix Checking of Reload/Reset Selection in WbBuildEditor (#6844)
CoolSpy3
authored

Commits on Jun 24, 2025

use QImage::flipped instead of QImage::mirrored in WbWrenTextureOverlay (#6850)
CoolSpy3
authored