urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' into philip/trad

Browse Source
This commit is contained in:
Jared Tobin 2019-05-31 19:09:14 +08:00 committed by GitHub
commit 4faa451a01
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
sys/hoon.hoon
View File

@ -17197,7 +17197,7 @@
~& %nest-failed
=+ foo=(skol ref)
=+ bar=(skol sut)
~& %nets-need
~& %nest-need
~> %slog.[0 bar]
~& %nest-have
~> %slog.[0 foo]