From 2ae082c9c741111d6e73488dcbbc3769a6cfa862 Mon Sep 17 00:00:00 2001 From: Martchus Date: Sat, 10 Aug 2019 23:01:09 +0200 Subject: [PATCH] Update devtools-custom to 20190810 --- devtools/custom/PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/custom/PKGBUILD b/devtools/custom/PKGBUILD index 56884f22..322bd924 100644 --- a/devtools/custom/PKGBUILD +++ b/devtools/custom/PKGBUILD @@ -8,7 +8,7 @@ pkgname=devtools-custom _pkgname=devtools -pkgver=20190416 +pkgver=20190810 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers (patches from ALARM and custom ones)' arch=('any')