Merge master into develop#52

Open

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

sync-master-f355c4d33

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

Commits on Jul 7, 2025

Commits on Jul 13, 2025

Commits on Aug 3, 2025

Fix Crash when Python is not Found on Windows (#6870)
CoolSpy3
authored

Commits on Aug 17, 2025