From 38dc37dd1e1902853c9c77b0341a35f0959859d8 Mon Sep 17 00:00:00 2001
From: mimi89999 <michel@lebihan.pl>
Date: Mon, 14 Jan 2019 15:59:36 +0100
Subject: [PATCH] Temporary disable androdns 1.5 (15) and 1.5.1 (16)

---
 metadata/androdns.android.leetdreams.ch.androdns.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/metadata/androdns.android.leetdreams.ch.androdns.txt b/metadata/androdns.android.leetdreams.ch.androdns.txt
index 6aa5cf7ec2..a535dd2725 100644
--- a/metadata/androdns.android.leetdreams.ch.androdns.txt
+++ b/metadata/androdns.android.leetdreams.ch.androdns.txt
@@ -25,6 +25,7 @@ Repo:https://github.com/gryphius/androdns.git
 Binaries:https://github.com/gryphius/androdns/releases/download/v%v/androdns.apk
 
 Build:1.5,15
+    disable=temporary to make the buildserver retry building this app
     commit=v1.5
     subdir=app
     sudo=apt-get update && \
@@ -36,6 +37,7 @@ Build:1.5,15
     gradle=yes
 
 Build:1.5.1,16
+    disable=temporary to make the buildserver retry building this app
     commit=v1.5.1
     subdir=app
     sudo=apt-get update && \