[VOTE] Releasing Orekit 12.0 from release candidate 1

Do you think you could also add the patch from Concurrency in LazyLoadedTimeScales?
I can open an issue and do the commit in a few minutes if you want.