Skip to content

Replace raw Observer* by a shared ptr as part of world.#3732

Open
MARIANOCEREDA wants to merge 1 commit into
moveit:mainfrom
MARIANOCEREDA:main
Open

Replace raw Observer* by a shared ptr as part of world.#3732
MARIANOCEREDA wants to merge 1 commit into
moveit:mainfrom
MARIANOCEREDA:main

Commits

Commits on May 21, 2026