Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: mention tools/release -a option
Mention that running `./tools/release.sh` script using the recently added `-a` option enables the previously-default interactive interface to select the correct GPG key.
- Loading branch information