Revert "readline: add patch 001 for version 8.0"

This reverts commit c5f0c44451737c543021e4ba958404a019ed7562.

diff --git a/src/patches/readline/readline80-001 b/src/patches/readline/readline80-001
deleted file mode 100644 (file)
index aa72a9d..0000000
--- a/src/patches/readline/readline80-001
+++ /dev/null
@@ -1,38 +0,0 @@
-                          READLINE PATCH REPORT
-                          =====================
-
-Readline-Release: 8.0
-Patch-ID: readline80-001
-
-Bug-Reported-by:       chet.ramey@case.edu
-Bug-Reference-ID:
-Bug-Reference-URL:
-
-Bug-Description:
-
-The history file reading code doesn't close the file descriptor open to
-the history file when it encounters a zero-length file.
-
-Patch (apply with `patch -p0'):
-
-*** ../readline-8.0-patched/histfile.c 2018-06-11 09:14:52.000000000 -0400
---- histfile.c 2019-05-16 15:55:57.000000000 -0400
-***************
-*** 306,309 ****
---- 312,316 ----
-      {
-        free (input);
-+       close (file);
-        return 0;      /* don't waste time if we don't have to */
-      }
-*** ../readline-8.0/patchlevel 2013-11-15 08:11:11.000000000 -0500
---- patchlevel 2014-03-21 08:28:40.000000000 -0400
-***************
-*** 1,3 ****
-  # Do not edit -- exists only for use by patch
-  
-! 0
---- 1,3 ----
-  # Do not edit -- exists only for use by patch
-  
-! 1