summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-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() {