Actually, we planned for an intermediary release since the day we released 5.12. However, we first though of just using the Maven 5.13-SNAPSHOT version, but decided that this wouldn't give justice to the release. Since it contains some really important fixes, we argued that having a proper version number would make it easier (psychologically) to upgrade versus the SNAPSHOT version.