Merge branch 'es/grep-require-name-when-needed' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 21:27:08 +0000 (14:27 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 21:27:08 +0000 (14:27 -0700)
commit518e874...979dbe485f519d0f63c3642cc1643f79
treefaabd07...8cbacbfc92946209e5aeceb9a20884d3copy hash to clipboard (tree)
parent90891c6...0a7f9fd575f755dcb1b1e5cc067fc4edcopy hash to clipboard (diff)
parentde99eb0...24d96730de187edd37b9ca9d42b0b05dcopy hash to clipboard (diff)