extra/devtools: 20190820 -> 20190820.1

1 files changed, 2 insertions, 2 deletions

diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD
index 23a04eda..943c7278 100644
--- a/extra/devtools/PKGBUILD
+++ b/extra/devtools/PKGBUILD
@@ -1,6 +1,6 @@
 # we override almost everything
 
-pkgver=20190820
+pkgver=20190820.1
 pkgrel=1
 pkgdesc='Tools for Arch Linux 32 package maintainers and build slave operators'
 license=('GPL')
@@ -8,7 +8,7 @@ url='https://git.archlinux32.org/archlinux32/devtools32/'
 source=(
   "https://sources.archlinux32.org/sources/${pkgname}32-v${pkgver}.tar.gz"{,.sig}
 )
-sha512sums=('493099074decfbc61d662f245530d287b362830acac126a4640a7901f0b254ac3c4d2853aa86cb977f0d0c70ac77c2ad301070c7a7e0e15d59051e00c7326c69'
+sha512sums=('540402cd62efa319a1184d6293b0f35a6870a404674a55199b9087f13d064d3f3714e9a5e245b492fe2dd5d929891cbac42caa951b5c9d59034f17f9a396713f'
             'SKIP')
 validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A')
 unset sha256sums