From 548ad26d6ecc910da96e07a09a53c77089955e35 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Wed, 3 Oct 2018 17:23:04 -0400 Subject: [PATCH] [CI] updates pinned vere commit-hash --- .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 add7a3d36f..a5dabb46af 100644 --- a/.travis/pin-vere-commit.txt +++ b/.travis/pin-vere-commit.txt @@ -1 +1 @@ -1c49b0438acede1d682b08313a3250286efbb69e \ No newline at end of file +6fca8527232cfe7ed73bbe70a5a8348ef8f57e0c \ No newline at end of file