Closed seanyen closed 4 years ago
@wjwwood Hi! This pull request is ready for review and merge.
This project is an extremely background thing for me, so I'll merge this because it's trivial, but I won't have time to do a release right now. I've been looking for a solid day or two that I can spend fixing a bunch of stuff here, but I haven't found it yet.
This project is an extremely background thing for me, so I'll merge this because it's trivial, but I won't have time to do a release right now. I've been looking for a solid day or two that I can spend fixing a bunch of stuff here, but I haven't found it yet.
Thanks for the merge. It is okay to leave the fix merged to master
branch.
Following the
catkin
guide to install the shared library to a portable location.