| 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.