Skip to content

Backport 393 to jazzy#394

Merged
mhubii merged 5 commits into
jazzyfrom
backport-393-to-jazzy
Jun 22, 2026
Merged

Backport 393 to jazzy#394
mhubii merged 5 commits into
jazzyfrom
backport-393-to-jazzy

Conversation

@mhubii

@mhubii mhubii commented Jun 22, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

kenichi-maeda and others added 4 commits June 22, 2026 16:57
(cherry picked from commit 2d73a40)
(cherry picked from commit 6bde65a)
@mhubii mhubii self-assigned this Jun 22, 2026
@mhubii mhubii added the enhancement New feature or request label Jun 22, 2026
@mhubii

mhubii commented Jun 22, 2026

Copy link
Copy Markdown
Collaborator Author

as for #393, might be beneficial to increase safety margins for collision meshes somehow

@mhubii mhubii merged commit 0e02601 into jazzy Jun 22, 2026
8 checks passed
@mhubii mhubii deleted the backport-393-to-jazzy branch June 22, 2026 17:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants