Fix issue 925 v2#950

tomo0613 wants to merge 3 commits into

dimforge:masterdimforge/rapier:masterfrom

tomo0613:fix_issue_925tomo0613/rapier:fix_issue_925Copy head branch name to clipboard