From d8c6a45489bcc9d0125ce0e2c76e3f1a42e5ef46 Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Sat, 23 Jan 2021 20:23:06 +0200
Subject: Update texinfo.tex.

---
 doc/ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/ChangeLog')

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 71d7b756..f595e245 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -3,6 +3,10 @@
 	* gawktexi.in: A number of small fixes, thanks to
 	Antonio Columbo.
 
+	Unrelated:
+
+	* texinfo.tex: Updated via GNULIB.
+
 2021-01-21         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in (Other Versions): Add information on more
-- 
cgit v1.2.3