ros-catkin (0.7.4-4) unstable; urgency=medium * Set priority to optional to make deb check happy -- Jochen Sprickerhof <email address hidden> Mon, 26 Dec 2016 18:14:05 +0100