catkin/catkin_tools — pull request #121 by dirk-thomas (2014-10-16 23:13:51+00:00)
Title: update stded file(s)

A new release after this patch should fix #120 and likely also #92.