ros/rosdistro — pull request #2876 by dirk-thomas (2014-01-15 03:00:12+00:00)
Title: reorder platforms for groovy to prioritize precise

Merge in sync with corresponding pull request in buildfarm repo.