tree 472f9f546c271b2ee3c2803aa1c935b2c0631d88
parent 916f56d38bc86cf8bed0698afde5051c05e7cc68
parent e5a329a279c7ecb5214ccc049ca659aa3ad733cf
author Junio C Hamano <gitster@pobox.com> 1544844274 +0900
committer Junio C Hamano <gitster@pobox.com> 1544844274 +0900

Merge branch 'jc/run-command-report-exec-failure-fix' into maint

A recent update accidentally squelched an error message when the
run_command API failed to run a missing command, which has been
corrected.

* jc/run-command-report-exec-failure-fix:
  run-command: report exec failure