mirror of
https://github.com/urbit/shrub.git
synced 2025-01-03 01:54:43 +03:00
gall: miscellaneous minor fixes
This commit is contained in:
parent
fc7901d2d1
commit
efb93fea34