Merge master into develop#51

Open

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

sync-master-ec05c25bb

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

Commits on Jun 26, 2025

use stdbool instead of boolean.h (#6853)
CoolSpy3
authored