Skip to content
This repository has been archived by the owner on Aug 14, 2019. It is now read-only.

Commit

Permalink
[CI] updates pinned vere commit
Browse files Browse the repository at this point in the history
  • Loading branch information
joemfb committed Jan 31, 2019
1 parent 05007cb commit 0838dd9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis/pin-vere-commit.txt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
8807423b01e586579946209828bb1bfa3d6d1c5e
051f31b31e45c57aee5542522c5c38e146f3e012

0 comments on commit 0838dd9

Please sign in to comment.