Merge branch 'jk/misc-unused-fixes'
authorJunio C Hamano <gitster@pobox.com>
Tue, 13 Nov 2018 13:37:26 +0000 (22:37 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 13 Nov 2018 13:37:26 +0000 (22:37 +0900)
commitf22838a...7a6dcf308a3307ba17f8afa40989ad3a
treef7e4b72...a742a8e1fb4d86a2a17e9ff103841e5fcopy hash to clipboard (tree)
parente146cc9...be4c054c60d38e9f4edcdc33205bf563copy hash to clipboard (diff)
parentaa097b8...e91bd748c4508b042e618e8292e15ad5copy hash to clipboard (diff)
revision.c