From 0ab797be22b6f83379278ff2ded3d67129e90661 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Mon, 7 Jan 2019 23:42:38 -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 783cd3f71e..fcf340e0d5 100644 --- a/.travis/pin-vere-commit.txt +++ b/.travis/pin-vere-commit.txt @@ -1 +1 @@ -4d7a04d4d9db334fb34558a7537a741d17319ce9 +86a38cbb925baab1c05a639b84f2e8bb2cfb4858