From 6804409fc5491fc581252e7a875673525f715200 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Mon, 16 Oct 2017 18:08:58 +0300
Subject: [PATCH] Fix idea version to 2017.2.5 (172.4343.14)

---
 update_dependencies.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 71c56f5be8d..c86b61ea9bf 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -3,8 +3,8 @@
     <import file="node_utils.xml" optional="false"/>
 
     <property name="automerge_dummy" value="This property is used to trick git merge. Do not delete empty lines around."/>
-    <property name="ideaVersion" value="172-SNAPSHOT"/>
-    <property name="idea.repository.type" value="snapshots"/> <!-- releases or snapshots -->
+    <property name="ideaVersion" value="172.4343.14"/>
+    <property name="idea.repository.type" value="releases"/> <!-- releases or snapshots -->
     <property name="idea.kotlin.branch" value="rc"/>