Merge branch 'master' into terencehill/bot_waypoints
authorterencehill <piuntn@gmail.com>
Mon, 5 Jun 2017 12:54:08 +0000 (14:54 +0200)
committerterencehill <piuntn@gmail.com>
Mon, 5 Jun 2017 12:54:08 +0000 (14:54 +0200)

Trivial merge