From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Fri, 18 Feb 2022 19:27:12 +0000 (+0100)
Subject: use another URL
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/a27f2d50630b6e0d378f989115a1c26bc7adf0a9?hp=--cc

use another URL
---

a27f2d50630b6e0d378f989115a1c26bc7adf0a9
diff --git a/bootstrap.sh b/bootstrap.sh
index f79fc22..8ca4abd 100644
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -28,8 +28,8 @@ build_linux()
         git fetch
         git reset --hard origin/spmi/work; git clean -f -x -d &> /dev/null
         curl -s https://tg.st/u/9ce9060dea91951a330feeeda3ad636bc88c642c.patch | git am -
-        curl -s https://tg.st/u/5nly | git am -
-        curl -s https://tg.st/u/0wM8 | git am -
+        curl -s https://tg.st/u/5nly.patch | git am -
+        curl -s https://tg.st/u/0wM8.patch | git am -
         curl -s https://tg.st/u/256f5efbf23ff68c489dad92f99d1cecfb021729.patch | git am -
         curl -s https://tg.st/u/8737955a0263d09ffa8550658dfcac1df3d0665c.patch | git am -
         curl -s https://tg.st/u/0001-4k-iommu-patch.patch | git am -