Merge pull request #14 from roboticsgroup/pid_ns
authorKonstantinos Chatzilygeroudis <costashatz@gmail.com>
Thu, 21 Feb 2019 11:36:05 +0000 (12:36 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 11:36:05 +0000 (12:36 +0100)
Add option to change the namespace of the pid


Trivial merge