diff options
Diffstat (limited to 'maintainers/release-process.md')
| -rw-r--r-- | maintainers/release-process.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/maintainers/release-process.md b/maintainers/release-process.md index db8b064a5..5d68b2861 100644 --- a/maintainers/release-process.md +++ b/maintainers/release-process.md @@ -189,8 +189,7 @@ release: * Bump the version number of the release branch as above (e.g. to `2.12.2`). - + ## Recovering from mistakes `upload-release.pl` should be idempotent. For instance a wrong `IS_LATEST` value can be fixed that way, by running the script on the actual latest release. - |