summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2018-11-24 09:31:35 +0100
committerMichel Zou2018-11-24 09:31:35 +0100
commitc917a77ef845e99c0fd469591a88c4812c870dc9 (patch)
treeb5f0661e3ae2e2b8c008bd05a2e5730f12cf0f53
parentc5a898c1a92c19d468c823b1d95125c7ef9e514f (diff)
downloadaur-c917a77ef845e99c0fd469591a88c4812c870dc9.tar.gz
PR156
-rw-r--r--PKGBUILD1
1 files changed, 1 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index c4e7d8facc16..fc5350008162 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -16,6 +16,7 @@ _architectures="i686-w64-mingw32 x86_64-w64-mingw32"
prepare () {
cd aGrUM-$pkgver
curl -L https://gitlab.com/agrumery/aGrUM/merge_requests/153.patch | patch -p1
+ curl -L https://gitlab.com/agrumery/aGrUM/merge_requests/156.patch | patch -p1
}
build() {