Close logger in finally

catkin / catkin_tools

Command line tools for working with catkin

Apache License 2.0

163 stars 146 forks source link

Closed MatthijsBurgh closed 2 years ago

MatthijsBurgh commented 2 years ago

Fixes #700

MatthijsBurgh commented 2 years ago

@timonegk friendly ping ;)