From 3b28bf7b67fb8722d22012e16f81d5c87cf0f1f1 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 6 Dec 2017 16:38:14 +0100
Subject: [PATCH] Use latest MPS release for gradle build.

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

diff --git a/gradle.properties b/gradle.properties
index 1bf24416..f563f28c 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,5 +1,5 @@
 
-mpsBuildConfiguration = MPS_20172_Distribution_DownloadableArtifacts
-mpsBuildLabel = 2017.2.2
-mpsBuildNumber = 172.1347
-mpsRelease = 2017.2
+mpsBuildConfiguration = MPS_20173_Distribution_DownloadableArtifacts
+mpsBuildLabel = 2017.3
+mpsBuildNumber = 173.1427
+mpsRelease = 2017.3