Merge branch 'so/pretty-abbrev-doc'
authorJunio C Hamano <redacted>
Thu, 3 Sep 2020 19:37:05 +0000 (12:37 -0700)
committerJunio C Hamano <redacted>
Thu, 3 Sep 2020 19:37:06 +0000 (12:37 -0700)
Documentation update for "--no-abbrev-commit".

* so/pretty-abbrev-doc:
  pretty-options.txt: fix --no-abbrev-commit description


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