urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 09:51:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

[CI] updates pinned arvo commit

Browse Source
This commit is contained in:
Joe Bryan 2019-03-13 13:59:22 -07:00
parent de06bf9f65
commit 872bb317f8
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 @@
c74e17bdcd1aea252da6c412fb7bfe5b7de8db83
e98c379405dc99506ae43392c4a019359e676e8a