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

comments out %jael %pubs printf

Browse Source
This commit is contained in:
Joe Bryan 2018-11-01 21:50:06 -04:00
parent bbb50a874e
commit 9892809fce
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/vane/jael.hoon
View File

@ -1187,7 +1187,7 @@
:: update public key store and notify subscribers
:: of the new state
::
~& [%sending-pubs-about who life.pub live.pub]
:: ~& [%sending-pubs-about who life.pub live.pub]
%+ exec(kyz.puk (~(put by kyz.puk) who pub))
(~(get ju yen.puk) who)
[%give %pubs pub]