diff options
author | fanquake <fanquake@gmail.com> | 2019-07-04 11:03:25 +0800 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2019-07-04 11:03:52 +0800 |
commit | dfdcb3dfe535e3b9bb3d11757bb94f2f76398d97 (patch) | |
tree | 48bcd2fc6d862fec5394929db6f1f62b0c598c0f /contrib/devtools/gen-manpages.sh | |
parent | 1381ddbcfcb6429b1327fd3db91ef97d8603aef9 (diff) | |
parent | 88fd556a969d1120a0ff633bc384336388a11709 (diff) |
Merge #16330: docs: Use placeholder instead of key expiration date
88fd556a969d1120a0ff633bc384336388a11709 Use placeholder instead of key expiration date (Hennadii Stepanov)
Pull request description:
Use a placeholder instead of the actual expiration date, so that the documentation doesn't require updating every time an expiry date changes.
ACKs for top commit:
fanquake:
ACK 88fd556a969d1120a0ff633bc384336388a11709
Tree-SHA512: 391707833cc0e701cf560ec82fd91368468c90a95f85e4ce2a211b20d12463c85775142f28a3536b57c5f6950b9e6e0785632f6f071fa2180bc8aab53008603b
Diffstat (limited to 'contrib/devtools/gen-manpages.sh')
0 files changed, 0 insertions, 0 deletions