diff --git a/ChangeLog/7.1.2_dev.txt b/ChangeLog/7.1.2_Z_Final.txt similarity index 100% rename from ChangeLog/7.1.2_dev.txt rename to ChangeLog/7.1.2_Z_Final.txt diff --git a/Version.props b/Version.props index 3b63235a2..40639ce54 100644 --- a/Version.props +++ b/Version.props @@ -3,7 +3,7 @@ 7.1.2 - dev +