New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

moveit_core background processing - #82

Merged

mlautman merged 2 commits into moveit:master from AcutronicRobotics:background_processing_port

May 21, 2019

Contributor

ahcorde commented May 16, 2019

Change the name of the logger
library as shared

ahcorde and others added 2 commits

May 16, 2019 13:19


          moveit_core background processing - Change the name of the logger and…

561ed12

… library as shared


          clang

30c444d

mlautman approved these changes

View reviewed changes

mlautman merged commit 7ecc18b into moveit:master

ahcorde deleted the background_processing_port branch

May 31, 2019 08:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment