Roadmap for Orekit 11.1.1

Dear all,

Orekit 11.1 has been released one month ago. It would be great to have a patch release next week. Here are the bugs that I would like to include in the roadmap of the patch:

Most of the above issues are already fixed. Therefore, it will be easy to have the patch.

What do you think?

+1 from me

+1 from me too

+1 sounds good!

+1 for the patch release