1 files changed, 51 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..f769de5
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1,51 @@
+bash43-001.diff
+bash43-002.diff
+bash43-003.diff
+bash43-004.diff
+bash43-005.diff
+bash43-006.diff
+bash43-007.diff
+bash43-008.diff
+bash43-009.diff
+bash43-010.diff
+bash43-011.diff
+bash43-012.diff
+bash43-013.diff
+bash43-014.diff
+bash43-015.diff
+bash43-016.diff
+bash43-017.diff
+bash43-018.diff
+bash43-019.diff
+bash43-020.diff
+bash43-021.diff
+bash43-022.diff
+bash43-023.diff
+bash43-024.diff
+bash43-025.diff
+bash43-026.diff
+bash43-027.diff
+bash43-028.diff
+bash43-029.diff
+bash43-030.diff
+bashbug-editor.diff
+deb-bash-config.diff
+deb-examples.diff
+man-arithmetic.diff
+man-fignore.diff
+man-bashrc.diff
+man-bashlogout.diff
+man-nocaseglob.diff
+man-test.diff
+man-test2.diff
+privmode.diff
+rbash-manpage.diff
+bash-default-editor.diff
+bash-subst-param-length.diff
+pgrp-pipe.diff
+input-err.diff
+exec-redirections-doc.diff
+bash-aliases-repeat.diff
+# no-brk-caching.diff
+use-system-texi2html.diff
+bzero.diff