Merge master into develop#49

github-actions[bot] wants to merge 1 commit intodevelopDeepBlueRobotics/webots:developfrom

sync-master-92352acc5DeepBlueRobotics/webots:sync-master-92352acc5Copy head branch name to clipboard