1 files changed, 0 insertions, 15 deletions
diff --git a/php-5.5.8-bug66412.patch b/php-5.5.8-bug66412.patch
deleted file mode 100644
index 2018acc..0000000
--- a/php-5.5.8-bug66412.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-diff -up ext/readline/readline.c.old ext/readline/readline.c
---- ext/readline/readline.c.old	2014-01-20 08:19:13.009830341 +0100
-+++ ext/readline/readline.c	2014-01-20 08:20:56.463158818 +0100
-@@ -354,6 +354,11 @@ PHP_FUNCTION(readline_clear_history)
- 		return;
- 	}
- 
-+#if HAVE_LIBEDIT
-+	/* clear_history is the only function where rl_initialize
-+	   is not call to ensure correct allocation */
-+	using_history();
-+#endif
- 	clear_history();
- 
- 	RETURN_TRUE;