Merge branch 'ps/revision-stdin-with-options'
commitf9972720e9a405e4f6924a7cde0ed5880687f4d0
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Aug 2023 22:50:05 +0000 (17 15:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Aug 2023 22:50:05 +0000 (17 15:50 -0700)
tree22c039a858c34131f4ad2ac78b83d12c11c8a2d3
parent62ce3dcd676f24f3acbc69a4029f2a2f5cd75dc0
parentc81f1a167659ce0634fdd1dcdb43c2697b546151
Merge branch 'ps/revision-stdin-with-options'

Typofix to documentation added during this cycle.

* ps/revision-stdin-with-options:
  rev-list-options: fix typo in `--stdin` documentation