From 39a0ece1b0ac4a4740a743c364f7a8b975ae72ed Mon Sep 17 00:00:00 2001
From: Joe Bryan <joemfb@gmail.com>
Date: Mon, 26 Nov 2018 03:28:37 -0500
Subject: [PATCH] [CI] updates pinned vere commit

---
 .travis/pin-vere-commit.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis/pin-vere-commit.txt b/.travis/pin-vere-commit.txt
index 1bb70bb34f..f7706202d3 100644
--- a/.travis/pin-vere-commit.txt
+++ b/.travis/pin-vere-commit.txt
@@ -1 +1 @@
-a9c8615674665ca431954510d42837df843f1ef2
\ No newline at end of file
+c3555c25a920727306f885fe616a51cb37c4adc1
\ No newline at end of file