mirror of
https://github.com/urbit/shrub.git
synced 2024-12-14 11:08:45 +03:00
c8d98a1220
to avoid issues from lazy traps in defunct requests (cherry picked from commit 46320bf9d9579508fa0492b88ab055979929e049) |
||
---|---|---|
.. | ||
vane | ||
arvo.hoon | ||
hoon.hoon | ||
ovra.hoon | ||
zuse.hoon |