Skip to content

Conversation

@github-actions
Copy link

Synchronizes changes of master branch into develop branch.

CoolSpy3 added 4 commits June 15, 2025 10:17
* fix speaker_play_sound message

* update changelog

* changelog clarification
…6844)

* fix reload button checking in WbBuildEditor popup

* update changelog

* fix pointer syntax

* use const-pointers where applicable
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants