From b49c3a9db516a87d38476966eff9994c13c5acf6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niklas=20Hamb=C3=BCchen?= <mail@nh2.me>
Date: Wed, 3 Jul 2019 01:34:21 +0200
Subject: [PATCH] Makefile.config.in: Remove HAVE_READLINE.

It was forgotten to be removed with
commit c5f23f10a84f568874321c04984b1a14d2dce978
and so it until now stayed unsubstituted as `HAVE_READLINE = @HAVE_READLINE@`
in Makefile.config.
---
 Makefile.config.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.config.in b/Makefile.config.in
index eabf1a426..936a4f403 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -8,7 +8,6 @@ CXXFLAGS = @CXXFLAGS@
 LDFLAGS = @LDFLAGS@
 ENABLE_S3 = @ENABLE_S3@
 HAVE_SODIUM = @HAVE_SODIUM@
-HAVE_READLINE = @HAVE_READLINE@
 HAVE_SECCOMP = @HAVE_SECCOMP@
 LIBCURL_LIBS = @LIBCURL_LIBS@
 OPENSSL_LIBS = @OPENSSL_LIBS@