diff options
author | Linus Nordberg <linus@nordu.net> | 2016-10-06 16:08:05 +0200 |
---|---|---|
committer | Linus Nordberg <linus@nordu.net> | 2016-10-06 16:08:05 +0200 |
commit | 9da20b07335cde5719090b766f75c0dd3f0b9080 (patch) | |
tree | 1701e45223ac4b0f13540c0a76776713e97c6e78 /tools | |
parent | 4367732063925abdf8bfb7312fe8ac0c6832af42 (diff) |
Assert that the server argument is non-NULL.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions