server/tripe-admin.5.in: Fix out-of-date information about `kill'.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 23:17:31 +0000 (00:17 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 23:24:37 +0000 (00:24 +0100)
It does sometimes send a `bye' message now.


No differences found