Skip to content

Make nanobind-dev and python3-dev build dependencies in package.xml#264

Merged
sea-bass merged 2 commits into
mainfrom
python3-dev-rosdep
Jul 13, 2026
Merged

Make nanobind-dev and python3-dev build dependencies in package.xml#264
sea-bass merged 2 commits into
mainfrom
python3-dev-rosdep

Commits

Commits on Jul 9, 2026

Commits on Jul 10, 2026