Fix patch

(cherry picked from commit 8f9a72d648)
2017-05-08 20:02:18 +01:00
parent 2022bbfb74
commit 20be58816f
1 changed files with 0 additions and 6 deletions
--- a/provides-facades.patch
+++ b/provides-facades.patch
@ -1,9 +1,3 @@
-diff --git a/external/linker b/external/linker
--- a/external/linker
-+++ b/external/linker
-@@ -1 +1 @@
-Subproject commit e4d9784ac37b9ebf4757175c92bc7a3ec9fd867a
-+Subproject commit e4d9784ac37b9ebf4757175c92bc7a3ec9fd867a-dirty
 diff --git a/scripts/mono-find-provides.in b/scripts/mono-find-provides.in
 index 5b2e206..5d6f34c 100644
 --- a/scripts/mono-find-provides.in