#1280: Added missing contributions for 12.0 in changes.xml. (!456) · Merge requests · Orekit / Orekit · GitLab

Maxime Journot requested to merge issue-1280 into patch-12.0.1 Nov 28, 2023

Fixes #1280 (closed)

Edited Nov 30, 2023 by Maxime Journot