From 0ea8adde5ddc530772f075873b7d05d4fa29a724 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Sat, 21 Dec 2019 09:40:41 +0200
Subject: [PATCH] Fix whitespace in last change in top.c

---
 gdb/top.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdb/top.c b/gdb/top.c
index 15bbe302a2..f2bbe4abbb 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1483,7 +1483,7 @@ This GDB was configured as follows:\n\
 "));
 #else
   fprintf_filtered (stream, _("\
-             --without-babeltrace\n		\
+             --without-babeltrace\n\
 "));
 #endif