This PR should also update changelogs release dates for version 2023.1.2 once #837 is merged. #770 is targeting develop and will be released under 2024.0.0, so it doesn't constraint this release.
Once merged the release procedure can be followed from section Tag.
This PR performs version upgrade to 2023.1.2.
This PR should also update changelogs release dates for version 2023.1.2 once #837 is merged. #770 is targeting develop and will be released under 2024.0.0, so it doesn't constraint this release.
Once merged the release procedure can be followed from section Tag.