Andrew's git / gitweb.git / diff
?
Merge branch 'jn/submodule-core-worktree-revert'
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Sep 2018 17:38:58 +0000 (10:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Sep 2018 17:38:58 +0000 (10:38 -0700)
* jn/submodule-core-worktree-revert:
Revert "Merge branch 'sb/submodule-core-worktree'"

Trivial merge