From c1168043d563c8cb03d46a72341334fa3fe31459 Mon Sep 17 00:00:00 2001 From: Peter Fankhauser Date: Tue, 18 Jul 2017 13:41:00 +0200 Subject: [PATCH] grid_map: 1.5.0-0 in 'jade/distribution.yaml' [bloom] --- jade/distribution.yaml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/jade/distribution.yaml b/jade/distribution.yaml index 2439afd1019d7..cd62726fe089a 100644 --- a/jade/distribution.yaml +++ b/jade/distribution.yaml @@ -1647,11 +1647,13 @@ repositories: packages: - grid_map - grid_map_core + - grid_map_costmap_2d - grid_map_cv - grid_map_demos - grid_map_filters - grid_map_loader - grid_map_msgs + - grid_map_octomap - grid_map_pcl - grid_map_ros - grid_map_rviz_plugin @@ -1659,7 +1661,7 @@ repositories: tags: release: release/jade/{package}/{version} url: https://github.com/ethz-asl/grid_map-release.git - version: 1.4.2-0 + version: 1.5.0-0 source: test_pull_requests: true type: git