ros/catkin — pull request #575 by dirk-thomas (2014-01-07 01:48:22+00:00)
Title: update download script to resume downloads when server supports it (fix #559)

@tfoote @wjwwood Please review.