python-wstool (0.1.10-1~trusty0) trusty; urgency=medium * distributed by ros-disthelper -- Ralf Kaestner <email address hidden> Tue, 15 Sep 2015 07:14:25 +0200