Dear Orekit users,
I think we have enough bugs resolved or about to be to do a patch very soon.
Check out the milestone.
I should be able to take care of the release before the end of the year.
Cheers,
Romain.
4 Likes
Hi!
The last week of January will be free for me. I can do the 13.1.3 release with the issues already resolved. What do you think?
Bryan
1 Like
Yes 13.1.3 would be nice as 14.0 will probably be delayed a bit.