Hi folks,
We’ve got about 25 features and bug fixes, all non API breaking, ready on the develop branch with a couple more available very soon (see milestone).
I believe this is a strong case for an Orekit 13.1 and I don’t think we should wait for after summer to ship. In other circumstances, I would have say let’s do it in July. However, since the publishing process is bound to change at the end of June, why not starting the release process next week (I’m willing to help)?
Let me know what you guys think.
Cheers,
Romain.