Merge branch 'minetest-0-4-13' into 'master'

Add minetest 0.4.13 release

See merge request !936

metadata/net.minetest.minetest.txt

@@ -38,6 +38,20 @@ Build:0.4.12.12,12
             "SDKFOLDER = $$SDK$$" > path.cfg && \
         for n in 1 2 3; do make release && break; done
 
+Build:0.4.13.13,13
+    commit=d44fceac7e1237b00c6431ee1bb5805b602d0dcd
+    prebuild=mkdir ../../games/minetest_game && cp -R $$MinetestGame$$/* ../../games/minetest_game && \
+        sed -i 's/ --system=linux-x86_64//' Makefile
+    output=bin/Minetest-release-unsigned.apk
+    subdir=build/android
+    srclibs=MinetestGame@2392842948b114670334eabbb593b66e1427747c
+    buildjni=no
+    build=printf "%s\n%s\n%s" \
+            "ANDROID_NDK = $$NDK$$" \
+            "NDK_MODULE_PATH = $$NDK$$/toolchains" \
+            "SDKFOLDER = $$SDK$$" > path.cfg && \
+        make release
+
 Maintainer Notes:
 Needs a 64bit machine for building. We circumvent this right now,
 so remove the sed script when upstream fixed this or we have a