diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-06-17 20:15:14 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-06-17 20:15:14 +0300 |
| commit | ac97dc4fa9869146f774f6df854e23afb38e15cd (patch) | |
| tree | bd3bcb0d59d91617c8764834547d6dd3e0b8cbdd /server-info.c | |
| parent | 7df94cd1f691dd6ccb3038e1b77544030aab3fed (diff) | |
| parent | de99eb0c24d96730de187edd37b9ca9d42b0b05d (diff) | |
Merge branch 'es/grep-require-name-when-needed'
More parameter validation.
* es/grep-require-name-when-needed:
grep: fail if call could output and name is null
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions