ros-infrastructure/rep — pull request #60 by felix-kolbe (2013-09-05 09:54:26+00:00)
Title: REP-3: Add numbers to Ubuntu version codenames

Assuming I'm not the only one cross-checking each time.