Merge pull request #267 from tloncorp/m/quieter-contacts

contacts: turn off verb by default
This commit is contained in:
fang 2024-03-29 20:13:18 +01:00 committed by GitHub
commit 9e8258eef5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,7 +18,7 @@
--
::
%- agent:dbug
%+ verb &
%+ verb |
^- agent:gall
=| state-0
=* state -