just get ordinary release, i.e. 5.12.3, instead of developer release.

5.13.9 will eventually evolve into 5.14.0, which should be in April