Skip to content

Update wrap to latest with pybind11 3.0.1#2277

Merged
dellaert merged 2 commits intodevelopfrom
fan/update_wrap
Oct 10, 2025
Merged

Update `wrap` to latest with pybind11 3.0.1#2277
dellaert merged 2 commits intodevelopfrom
fan/update_wrap

Commits

Commits on Oct 8, 2025