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

Merge 83f6501418 into release/next-userspace

Browse Source
This commit is contained in:
janeway-bot 2021-10-26 22:03:51 +04:00 committed by GitHub
commit f0ee292b9f
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
pkg/landscape/app/hark-graph-hook.hoon
View File

@ -464,7 +464,7 @@
++ should-notify ++ should-notify
?| is-mention ?| is-mention
(~(has in watching) [rid parent-idx]) (~(has in watching) [rid parent-idx])
=(mark `%graph-validator-dm) =(mark %graph-validator-dm)
== ==
:: ::
++ add-note ++ add-note