From b6acc2755397cb2614891df9809bd4e3a13a8c4a Mon Sep 17 00:00:00 2001
From: Mikael Arguedas <mikael@osrfoundation.org>
Date: Tue, 8 Aug 2017 02:41:39 -0700
Subject: [PATCH] Depend on Ceres 1.12.0 instead of 1.12.0rc4 (#477)

---
 cartographer_ros.rosinstall | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cartographer_ros.rosinstall b/cartographer_ros.rosinstall
index 00f0682..21e00ed 100644
--- a/cartographer_ros.rosinstall
+++ b/cartographer_ros.rosinstall
@@ -1,3 +1,3 @@
 - git: {local-name: cartographer, uri: 'https://github.com/googlecartographer/cartographer.git'}
 - git: {local-name: cartographer_ros, uri: 'https://github.com/googlecartographer/cartographer_ros.git'}
-- git: {local-name: ceres-solver, uri: 'https://ceres-solver.googlesource.com/ceres-solver.git', version: '1.12.0rc4'}
+- git: {local-name: ceres-solver, uri: 'https://ceres-solver.googlesource.com/ceres-solver.git', version: '1.12.0'}