commit | 8f40f791d9d45fa70ca5d388eba0f4c2a4cf397b | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Jul 26 20:08:40 2019 +0000 |
committer | nicm <nicm> | Fri Jul 26 20:08:40 2019 +0000 |
tree | 6eedeed76446bd6784cfb032ddc4dfef2dea64ea | |
parent | 90dba3ec66b712a9a12f7a61fee89d9647c726f6 [diff] |
Change "lost server" message to "server exited unexpectedly", from Neal McBurnett in GitHub issue 1857.