Merge branch 'es/grep-require-name-when-needed'
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000 (10:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000 (10:15 -0700)
commitac97dc4...a9869146f774f6df854e23afb38e15cd
treebd3bcb0...59d91617c8764834547d6dd3e0b8cbddcopy hash to clipboard (tree)
parent7df94cd...f691dd6ccb3038e1b77544030aab3fedcopy hash to clipboard (diff)
parentde99eb0...24d96730de187edd37b9ca9d42b0b05dcopy hash to clipboard (diff)