Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Going forward, an uneven minor version will be a development version, while an even minor will be considered a stable version to be released. This is similar to what GHC does and was discussed in #3113. This bump should have happened after branching off v12.0.0, but obviously we didn't know about it back then. This will happen immediately after branching off a new release from now on.
- Loading branch information