Public Git Hosting - git/debian.git/commit

commit	3770c21be99a1e387794ec21e9bfeb3c640376b6
author	Junio C Hamano <gitster@pobox.com>
	Tue, 21 Dec 2021 23:03:15 +0000 (21 15:03 -0800)
committer	Junio C Hamano <gitster@pobox.com>
	Tue, 21 Dec 2021 23:03:15 +0000 (21 15:03 -0800)
tree	d2bf9959c1a223b698ac1466999b6cd000a15fe8	tree \| snapshot (tar.gz zip)
parent	00cbaf93628282779504b470653ad239c4eca463	commit \| diff
parent	91028f7659c165eb48910d333a78e4dac9cff2b6	commit \| diff

Merge branch 'jc/grep-patterntype-default-doc'

Doc update.

* jc/grep-patterntype-default-doc:
grep: clarify what `grep.patternType=default` means