2019-03-16 Orekit 9.3.1 released

Version 9.3.1 is a minor release of Orekit.

The only change introduced since release 9.3 is a fix for an issue involving GPS week rollover.

News summary