From 59d657bb246f3137382130bc2b67df5182c2da3f Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Tue, 4 Dec 2018 01:26:07 -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 ca537b874b..b4ef01cccd 100644 --- a/.travis/pin-vere-commit.txt +++ b/.travis/pin-vere-commit.txt @@ -1 +1 @@ -ab455736e93b610371c96a014162a55fc08f039a +bf4e7910dcdaf1cd2314848477f03dea15a70829