From 1fc6a5857c55f3ae9bef434d450a2e956a562559 Mon Sep 17 00:00:00 2001
From: John Marino <draco@marino.st>
Date: Sat, 5 Nov 2011 22:39:58 +0100
Subject: [PATCH] libgmp: Fix README.DELETED

An experimental README.DELETED was committed.  Currently the x86 and
x86_64 files are not vendor branch, so their directories should not have
been removed before.
---
 contrib/gmp/README.DELETED | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/gmp/README.DELETED b/contrib/gmp/README.DELETED
index ee9c2dcbfc..2fe03c9b47 100644
--- a/contrib/gmp/README.DELETED
+++ b/contrib/gmp/README.DELETED
@@ -61,6 +61,8 @@ mpn/sparc32/
 mpn/sparc64/
 mpn/thumb/
 mpn/vax/
+mpn/x86/
+mpn/x86_64/
 mpn/z8000/
 mpn/z8000x/
 mpq/Makefile.am
-- 
2.41.0