Closed BenTheElder closed 2 years ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: BenTheElder
The full list of commands accepted by this bot can be found here.
The pull request process is described here
/lgtm
nice /lgtm
@xmcqueen: changing LGTM is restricted to collaborators
/lgtm
/approve
fixes #210
NOTE: we don't bother synchronizing
.String()
because the process is errored and dead when we're reading it.