From 3c40ea373909fc81770bf8d4ee760f16672c40d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Tue, 6 Oct 2015 08:57:38 +0200
Subject: [PATCH] Update DNS man to 0.7.2 (72)

---
 metadata/io.github.otakuchiyan.dnsman.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/metadata/io.github.otakuchiyan.dnsman.txt b/metadata/io.github.otakuchiyan.dnsman.txt
index 927a3177b2..3bcce96089 100644
--- a/metadata/io.github.otakuchiyan.dnsman.txt
+++ b/metadata/io.github.otakuchiyan.dnsman.txt
@@ -32,6 +32,13 @@ Build:0.7.1,71
         sh depending_repos.sh && \
         popd
 
+Build:0.7.2,72
+    commit=v0.7.2
+    subdir=app
+    gradle=yes
+    prebuild=cd .. && \
+        ./depending_repos.sh
+
 Auto Update Mode:None
 # Auto Update Mode:Version v%v
 Update Check Mode:Tags