Skip to content

Fix crash at shutdown of rqt_console plugin#30

Closed
mjeronimo wants to merge 1 commit intoros2from
mjeronimo/bugfix/shutdown-crash
Closed

Fix crash at shutdown of rqt_console plugin#30
mjeronimo wants to merge 1 commit intoros2from
mjeronimo/bugfix/shutdown-crash

Commits

Commits on Apr 5, 2021