Stop numbering patches

Keeping patches sequentially numbered produces a messy Git history with
many renames for compaction. It’s also redundant with the series file.

1 files changed, 0 insertions, 13 deletions

diff --git a/debian/patches/0009-skip-dot-pc.patch b/debian/patches/0009-skip-dot-pc.patch
deleted file mode 100644
index ce85adf8..00000000
--- a/debian/patches/0009-skip-dot-pc.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-From: Benjamin Barenblat <bbaren@debian.org>
-Subject: Ignore .pc directory when building
-Forwarded: no
---- a/Makefile
-+++ b/Makefile
-@@ -53,6 +53,7 @@
-   -name '.git' -o \
-   -name '.bzr' -o \
-   -name 'debian' -o \
-+  -name '.pc' -o \
-   -name "$${GIT_DIR}" -o \
-   -name '_build' -o \
-   -name '_build_ci' -o \