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