Merge pull request #15609 from stiwari/wip-19879

Merge pull request from stiwari/wip-19879
This commit is contained in:
Gregory Farnum 2017-06-09 21:27:19 -07:00 committed by GitHub
commit 3084fcfda9

View File

@ -57,11 +57,11 @@ Options
Journal updates to *journal*.
.. option:: --check-allows-journal
.. option:: --check-wants-journal
Check whether a journal is desired.
.. option:: --check-wants-journal
.. option:: --check-allows-journal
Check whether a journal is allowed.