diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2021-01-28 21:17:11 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2021-01-29 08:46:11 +0100 |
| commit | cc30dfbd4bab5fe4acc82dca9f6979e5a3a41e32 (patch) | |
| tree | 733ec99dd5c3947f10ca973a3166419a24b32036 /test/util | |
| parent | 6ba2ffd28b6bf15e3f70982ccd45256a657c5f70 (diff) | |
doc: Document use of make-tag script to make tags
To make release tags the `make-tag.py` script from the maintainer tools
should be used. This ensures that all the various occurences of the
version in different files match the tagged version before proceeding.
Also replace other "ping wumpus" references.
Diffstat (limited to 'test/util')
0 files changed, 0 insertions, 0 deletions