turtlebot/turtlebot — pull request #79 by jihoonl (2013-07-23 06:03:31+00:00)
Title: swap the port of public and private masters.

Now private master is in 11312.