ros-infrastructure/rosdistro — pull request #40 by dirk-thomas (2014-01-27 18:27:03+00:00)
Title: fix cache generation (fix #39)

@tfoote Please review.