From 2345b8afa371c61152ff567b50587a8a6b95e5f5 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 3 Feb 2020 11:12:03 +0100
Subject: [PATCH] Switch to MPS 2019.3.1 release

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

diff --git a/gradle.properties b/gradle.properties
index cc130e75..145edef9 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,5 +1,5 @@
 
-mpsBuildConfiguration = MPS_20192_Distribution_DownloadableArtifacts
-mpsBuildLabel = 2019.2
-mpsBuildNumber = MPS-192.2072
-mpsRelease = 2019.2
+mpsBuildConfiguration = MPS_20193_Distribution_DownloadableArtifacts
+mpsBuildLabel = 2019.3
+mpsBuildNumber = MPS-193.1223
+mpsRelease = 2019.3