Skip to content
Snippets Groups Projects

Revert "Merge branch '12.0.2-compat' into 'master'"

Passed
Clément Jonglez created pipeline for commit 19d41567
, finished
1 related merge request: !17 Bring back Orekit 12.1
branch
9 jobs 2 minutes 59 seconds, queued for 1 seconds