urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-03 10:02:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1065 from urbit/release-candidate-arvo

Browse Source 
[CI] Point to latest release-candidate arvo
This commit is contained in:
Fang 2018-11-14 16:56:04 -08:00 committed by GitHub
commit 5191851946
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis/pin-arvo-commit.txt
View File

@ -1 +1 @@
6298a94729de53dfe4d0336e24df86f122325b4a
97b340675934ce196878a569d4fa1b78e26a0d33