From 66dcc06355d085a72d857b8a69284eb51d0392f2 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 24 Apr 2018 11:05:14 +0200
Subject: devtools32: now in archlinux32's releng repository

---
 devtools32/PKGBUILD | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD
index e81f4bd6..7e843a61 100644
--- a/devtools32/PKGBUILD
+++ b/devtools32/PKGBUILD
@@ -2,6 +2,8 @@
 # Maintainer: Erich Eckner <arch at eckner dot net>
 # Contributor: Pierre Schmitz <pierre@archlinux.de>
 
+# repo: releng
+
 pkgname=devtools32
 pkgver=20171218
 pkgrel=2
-- 
cgit v1.2.3-70-g09d2