ros-wstool (0.1.12-1~20151222) trusty; urgency=medium * Initial release. (Closes: #804042) -- Jochen Sprickerhof <email address hidden> Mon, 21 Sep 2015 10:56:50 +0200