From 055fbe0920756a6d07103c998cd1f2d953e6f7d8 Mon Sep 17 00:00:00 2001
From: Luigi Scarso <luigi.scarso@gmail.com>
Date: Wed, 18 Apr 2018 12:30:10 +0000
Subject: [PATCH] last minute fix

---
 source/doc/tlbuild.info | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/doc/tlbuild.info b/source/doc/tlbuild.info
index e74cc3534..dc2bb1042 100644
--- a/source/doc/tlbuild.info
+++ b/source/doc/tlbuild.info
@@ -1,4 +1,4 @@
-This is tlbuild.info, produced by makeinfo version 6.4 from
+This is tlbuild.info, produced by makeinfo version 6.5 from
 tlbuild.texi.
 
 This file documents the TeX Live build system and more.
-- 
GitLab