From 8d8228e81479c6079e4ad560d569c279440c6f8d Mon Sep 17 00:00:00 2001 From: Luca Beltrame Date: Thu, 10 May 2018 00:13:59 +0200 Subject: [PATCH] Update repository configuration --- repo_config.json | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/repo_config.json b/repo_config.json index 6b5de1d..628a3fb 100644 --- a/repo_config.json +++ b/repo_config.json @@ -1760,6 +1760,11 @@ "obs": "konversation", "branch": "master" }, + { + "kde": "falkon", + "obs": "falkon", + "branch": "master" + }, { "kde": "kstars", "obs": "kstars",