Upgrade to Orekit 12.1.2
assigned to @Petrush
added 1 commit
Compare with previous version
mentioned in commit 44b9caad
merged