Skip to content

Fix nullopt dereference in GoToPlace goal selection of 'one_of'#130

Merged
arjo129 merged 1 commit intoopen-rmf:mainfrom
kjchee:fix/gotoplace-nullopt-deref
Dec 24, 2025
Merged

Fix nullopt dereference in GoToPlace goal selection of 'one_of'#130
arjo129 merged 1 commit intoopen-rmf:mainfrom
kjchee:fix/gotoplace-nullopt-deref

Commits

Commits on Dec 23, 2025