In reply to NeilH.

Developers should be using 14 instead of 13. It's all about luck in the end :)

Note that we are no longer going to "dot" the release either. It will be release 14, and not 14.0. While there will be maintenance releases, we are moving away from the minor release designation.