grid_map: 1.5.1-0 in 'jade/distribution.yaml' [bloom]

InigoMoreno · Jul 25, 2017 · 9f368c2 · 9f368c2
1 parent 8ec200e
commit 9f368c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jade/distribution.yaml b/jade/distribution.yaml
@@ -1643,7 +1643,7 @@ repositories:
  tags:
  release: release/jade/{package}/{version}
  url: https://github.com/ethz-asl/grid_map-release.git
- version: 1.5.0-0
+ version: 1.5.1-0
  source:
  test_pull_requests: true
  type: git