From 181a11a1d7ae660548bf4806793af5f0ace8d7c6 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Mon, 23 May 2016 20:06:12 +0300
Subject: [PATCH] Update to idea 2016.1.2

---
 update_dependencies.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index d6efd378b52..c6ea0460b4d 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -1,7 +1,7 @@
 <project name="Update Dependencies" default="update" xmlns:if="ant:if" xmlns:unless="ant:unless">
 
     <property name="automerge_dummy" value="This property is used to trick git merge. Do not delete empty lines around."/>
-    <property name="ideaVersion" value="2016.1"/>
+    <property name="ideaVersion" value="2016.1.2"/>
     <property name="idea.kotlin.branch" value="rc"/>