Commit Graph

1 Commits

Author SHA1 Message Date
Lukas Bulwahn 3c738d0894 navigation: updating to 1.12.4
The patch to dwa_local_planner has been incorporated in version
1.12.3, and hence is removed here.
2015-06-13 16:02:51 +02:00