diff --git a/.travis/pin-arvo-commit.txt b/.travis/pin-arvo-commit.txt index 1214a0f18a..3c8e052bd9 100644 --- a/.travis/pin-arvo-commit.txt +++ b/.travis/pin-arvo-commit.txt @@ -1 +1 @@ -37de11cb061409968e587e96e28cbbe9067da236 +b8a4ab3f10c1039970901e56f5abe24301f38406