Andrew's git / gitweb.git / diff
?
Merge branch 'rs/merge-microcleanup'
authorJunio C Hamano <gitster@pobox.com>
Tue, 22 Aug 2017 17:29:14 +0000 (10:29 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Aug 2017 17:29:14 +0000 (10:29 -0700)
Code clean-up.

* rs/merge-microcleanup:
merge: use skip_prefix()

No differences found