ros-infrastructure/rep — pull request #65 by dirk-thomas (2013-12-19 01:37:50+00:00)
Title: minor wording fixes for REP 137

@tfoote Please review and merge.