From 36d1037fc325b75382a471b62eaf50ed6d17b041 Mon Sep 17 00:00:00 2001
From: Luca Beltrame <lbeltrame@kde.org>
Date: Fri, 23 Sep 2016 07:35:19 +0200
Subject: [PATCH] Update kdevelop mapping

---
 repo_config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repo_config.json b/repo_config.json
index d1b9019..9bd1632 100644
--- a/repo_config.json
+++ b/repo_config.json
@@ -1611,7 +1611,7 @@
         },
         {
             "kde": "kdev-python",
-            "obs": "kdevelop-plugin-python3",
+            "obs": "kdevelop5-plugin-python3",
             "branch": "master"
         },
         {