ros-planning/navigation — pull request #145 by contradict (2013-11-03 19:20:03+00:00)
Title: Bugfixes

Two small things that look like bugs to me, and one more ignore.