Merge pull request #2458 from yahonda/backport_2457_to_release72

Merge pull request #2457 from yahonda/fix_version_in_720

Author: yahonda

History.md

@@ -1,4 +1,4 @@
-## 7.2.0.rc1 / 2025-06-23
+## 7.2.0 / 2025-06-23
 
 * Changes and bug fixes
   * No changes since 7.2.0.rc1