From d101e87715b10bea7c4f3700da266b8fb0290e55 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Sat, 1 Jun 2019 14:00:43 -0700
Subject: [PATCH] ; Fix stray merge conflict

---
 etc/HELLO | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/etc/HELLO b/etc/HELLO
index 1c4381c3e27..33e664e8341 100644
--- a/etc/HELLO
+++ b/etc/HELLO
@@ -123,11 +123,6 @@ along with GNU Emacs.  If not, see <<https://www.gnu.org/licenses/>.
 ;;; Local Variables:
 ;;; tab-width: 32
 ;;; bidi-display-reordering: t
-<<<<<<< HEAD
 ;;; coding: utf-8
-;;; End:</x-charset>
-=======
-;;; coding: iso-2022-7bit
 ;;; inhibit-compacting-font-caches: t
-;;; End:
->>>>>>> 008b263
+;;; End:</x-charset>
-- 
2.39.5