From 9d81957d5759c8919aea3c18dff3bac6f1a720de Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Sat, 11 Jul 2020 14:51:36 +0200
Subject: [PATCH] Switch to latest MPS release.

---
 gradle.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gradle.properties b/gradle.properties
index 7991668b..309ef844 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,5 +1,5 @@
 org.gradle.jvmargs=-Xmx2g -XX:MaxMetaspaceSize=512m -XX:+HeapDumpOnOutOfMemoryError
 mpsBuildConfiguration = MPS_20201_Distribution_Binaries
-mpsBuildLabel = RC
-mpsBuildNumber = MPS-201.6668.1274
+mpsBuildLabel = 2020.1.2
+mpsBuildNumber = MPS-201.7846.1470
 mpsRelease = 2020.1