Merge branch 'ma/diff-doc-clarify-regexp-example' into maint
authorJunio C Hamano <redacted>
Fri, 14 Feb 2020 20:42:33 +0000 (12:42 -0800)
committerJunio C Hamano <redacted>
Fri, 14 Feb 2020 20:42:33 +0000 (12:42 -0800)
Doc clarification.

* ma/diff-doc-clarify-regexp-example:
  diff-options.txt: avoid "regex" overload in example


Trivial merge
git clone https://git.99rst.org/PROJECT