Creating Orekit 7.2 tag.
This tag has no release notes.