From 5947b4eb8eacc30d910fcca36b4968e643f209b7 Mon Sep 17 00:00:00 2001
From: Alexey Sedunov <alexey.sedunov@jetbrains.com>
Date: Wed, 24 Jan 2018 17:52:10 +0300
Subject: [PATCH] Minor: Fix Maven server url

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

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 21a371a7fb1..f1c76550aa4 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -65,7 +65,7 @@
         <attribute name="version"/>
         <attribute name="bin" default="true"/>
         <attribute name="src" default="true"/>
-        <attribute name="server" default="https://repo1.maven.org/maven2/"/>
+        <attribute name="server" default="https://repo1.maven.org/maven2"/>
         <attribute name="jar.name.base" default="@{lib}-@{version}"/>
         <attribute name="target.jar.name.base" default="@{jar.name.base}"/>
         <attribute name="path" default="@{prefix}/@{lib}/@{version}/@{jar.name.base}"/>