Merge branch 'en/git-debugger'
authorJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:15 +0000 (14:38 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:15 +0000 (14:38 +0900)
Dev support.

* en/git-debugger:
Make running git under other debugger-like programs easy

Trivial merge