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.