Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
"Use a version like '4.11.0.1' in the example above where the previously released version was 4.11" -- dev guide That is, these scripts should have been 5.12.1.whatever since the last release was 5.12.1. Fixing. (They were 5.13.whatever.)
- Loading branch information