Program for tentative 13.1.7

Orekit development
1

Hi folks,

I propose the release of a patch. See milestone for the content:

I could do it within the next couple of weeks.

Cheers,
Romain.

2

Expecting to start the release process this week FYI