From 0c374a7a60135d03ee9f0a38132eb684be963473 Mon Sep 17 00:00:00 2001
From: David Kastrup <dak@gnu.org>
Date: Tue, 26 May 2015 13:42:14 +0200
Subject: [PATCH] Fix spurious newline from upstream Texinfo

---
 tex/texinfo.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tex/texinfo.tex b/tex/texinfo.tex
index dead3220cd..a616aac5de 100644
--- a/tex/texinfo.tex
+++ b/tex/texinfo.tex
@@ -8956,7 +8956,6 @@ directory should work if nowhere else does.}
       \catcode\count255=#1\relax
       \advance\count255 by 1
    \repeat
-
 }
 
 % @documentencoding sets the definition of non-ASCII characters
-- 
2.39.2