Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Talk about "terminate" rather than "die"
Adapted from a suggestion by @m-ou-se. Co-authored-by: Mara Bos <m-ou.se@m-ou.se> Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
- Loading branch information