ros-infrastructure/rosdistro — pull request #36 by dirk-thomas (2013-12-12 22:47:03+00:00)
Title: fix loading gzip compressed cached release with Python 3 (fix #35)

@tfoote @wjwwood Please review.