Naev: Naev 0.12.5 Released!

This is the fifth and most likely last maintenance patch of the 0.12.0 release. It includes fixes to a major bug causing spawning ships to be much less diverse than they should have been. With the new version you should…