Merge branch 'es/chain-lint-more'
authorJunio C Hamano <gitster@pobox.com>
Tue, 4 Sep 2018 21:31:40 +0000 (14:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 4 Sep 2018 21:31:40 +0000 (14:31 -0700)
commite9983f8...65c0875cc6727e9644c84ff1dfc99372
tree70668a6...d93c3cef8dd415a74c36f6a0a4885d73copy hash to clipboard (tree)
parent28d294a...ea27fef18a987f8b526f5e1e72ede674copy hash to clipboard (diff)
parent3042b6b...59787613e36e459bf60994a26bb5a5dfcopy hash to clipboard (diff)
t/chainlint.sed